OCI images #2
Workflow file for this run
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: Nix | |
| on: | |
| pull_request: | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: DeterminateSystems/nix-installer-action@main | |
| with: | |
| # Provision your own token to get access to genjax | |
| github-token: ${{ secrets.NIX_GITHUB_TOKEN }} | |
| - uses: DeterminateSystems/magic-nix-cache-action@v2 | |
| - name: Build everything | |
| run: | | |
| nix flake check -L | |
| # - name: Login to Docker Hub | |
| # # only run this when running on main, because | |
| # # that is the only time we need these creds; | |
| # # otherwise, Fork-based PRs cannot succeed | |
| # if: github.ref == 'refs/heads/main' | |
| # uses: docker/login-action@v3 | |
| # with: | |
| # username: ${{ vars.DOCKERHUB_USERNAME }} | |
| # password: ${{ secrets.DOCKERHUB_TOKEN }} | |
| # - name: push gensql query | |
| # if: github.ref == 'refs/heads/main' | |
| # run: | | |
| # docker load -i ./imgGensqlQuery | |
| # docker push --all-tags probcomp/gensql.query | |
| # - name: push loom | |
| # if: github.ref == 'refs/heads/main' | |
| # run: | | |
| # docker load -i ./imgLoom | |
| # docker push --all-tags probcomp/gensql.loom |