add MIT license #387
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Slog CI Testing | |
| on: | |
| push: | |
| branches: [ master, github-actions-test, ci-perf, 0arity] | |
| pull_request: | |
| branches: [ master ] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 60 | |
| steps: | |
| - name: Cache Docker layers | |
| uses: actions/cache@v2 | |
| with: | |
| path: /tmp/.buildx-cache | |
| key: ${{ runner.os }}-buildx-${{ github.sha }} | |
| restore-keys: | | |
| ${{ runner.os }}-buildx- | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| - name: Set up Docker Buildx | |
| id: buildx | |
| uses: docker/setup-buildx-action@v1 | |
| - name: Build docker image | |
| id: docker_build | |
| uses: docker/build-push-action@v2 | |
| with: | |
| context: ./ | |
| file: ./Dockerfile | |
| push: false | |
| load: true | |
| tags: slog-ci-test | |
| cache-from: type=local,src=/tmp/.buildx-cache | |
| cache-to: type=local,dest=/tmp/.buildx-cache | |
| - name: Image digest | |
| run: echo ${{ steps.docker_build.outputs.digest }} | |
| # - name: Build docker image | |
| # run: docker build -t slog-ci-test . | |
| # - name: Compiler tests | |
| # run: docker run --rm --entrypoint racket slog-ci-test /slog/compiler/unit-tests/tests.rkt -c --run-slow-tests | |
| # - name: Compiler tests with --merge-builtins | |
| # run: docker run --rm --entrypoint racket slog-ci-test /slog/compiler/unit-tests/tests.rkt -c --merge-builtins --run-slow-tests | |
| # - name: Compiler unit tests | |
| # run: docker run --rm --entrypoint raco slog-ci-test test /slog/compiler/src/generic-utils.rkt | |
| # - name: C++ compilation tests | |
| # run: docker run --rm --entrypoint bash slog-ci-test /slog/compiler/unit-tests/cpp_compilation_tests.sh | |
| # - name: Compile hashes | |
| # run: docker run --rm --entrypoint bash slog-ci-test /slog/slog/tests/run_test.sh compile_hashes | |
| - name: Backend tests | |
| run: docker run --rm --entrypoint bash slog-ci-test /slog/slog/tests/run_test.sh size_compare | |
| # TODO: Backend tests (Yihao working on them) | |
| # TODO: integrate benchmarking into CI, | |
| # maybe into some persistent store so we can track perf over time? | |
| # - name: benchmark-worstcase-4-terms-2-m | |
| # working-directory: ./compiler | |
| # run: | | |
| # START=$(date +%s) | |
| # echo quit | racket slog.rkt -i ./ci-benchmarks/worstcase-4-terms-2-m.slog | |
| # END=$(date +%s) | |
| # DIFF=$(echo "$END - $START" | bc) | |
| # echo "took $DIFF seconds." | |
| # if [ $DIFF -gt 300 ] | |
| # then | |
| # echo took too long | |
| # exit 1 | |
| # fi |