fix: lint #52
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
| # yaml-language-server: $schema=https://json.schemastore.org/github-workflow.json | |
| # | |
| # This a demonstration pipeline which uses Nix in a container to drive the toolchain. | |
| # | |
| # - The Nix container (with cached toolchain) are quite big (~ 2Gb) and with no caching makes the | |
| # pull up to 2min at the start. | |
| # - Without caching they result in ~500mb which is better but the toolchain needs to be installed | |
| # during the `nix develop` call. | |
| # | |
| # Remedies: Either to use own runners with proper image caching or do some Github trickery | |
| # (not sure if they work), use the action/cache to cache docker layers and in the next step use | |
| # a step with `uses: docker://...` but then `run:` does not work, how stupid ... | |
| # (need to write an own action in the repo, 💩) | |
| # | |
| name: rdf-protect | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| defaults: | |
| run: | |
| shell: bash | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - "feat/*" | |
| - "fix/*" | |
| pull_request: | |
| branches: | |
| - main | |
| jobs: | |
| format: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: ghcr.io/sdsc-ordes/rdf-protect:ci-format-1.0.0 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: format | |
| run: | | |
| source .gitlab/scripts/before-script.sh && | |
| cat justfile && | |
| just nix-develop just format | |
| lint: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: ghcr.io/sdsc-ordes/rdf-protect:ci-lint-1.0.0 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: lint | |
| run: | | |
| source .gitlab/scripts/before-script.sh && | |
| just nix-develop just lint | |
| - name: lint-undefined-behavior | |
| run: | | |
| source .gitlab/scripts/before-script.sh && | |
| just nix-develop just lint-ub | |
| - name: allow to fail | |
| if: failure() | |
| run: echo "lint-up failed -> continue." | |
| build: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: ghcr.io/sdsc-ordes/rdf-protect:ci-build-1.0.0 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: build | |
| run: | | |
| source .gitlab/scripts/before-script.sh && | |
| just nix-develop just build | |
| - name: tests | |
| run: | | |
| source .gitlab/scripts/before-script.sh && | |
| just nix-develop just test | |
| test: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: ghcr.io/sdsc-ordes/rdf-protect:ci-test-1.0.0 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: test | |
| run: | | |
| source .gitlab/scripts/before-script.sh && | |
| just nix-develop just test | |
| package: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: ghcr.io/sdsc-ordes/rdf-protect:ci-package-1.0.0 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: package (nix) | |
| run: | | |
| source .gitlab/scripts/before-script.sh && | |
| just nix-package |