Skip to content

Merge branch 'add-docs' of https://github.com/dataheld/nullkomma into… #206

Merge branch 'add-docs' of https://github.com/dataheld/nullkomma into…

Merge branch 'add-docs' of https://github.com/dataheld/nullkomma into… #206

Workflow file for this run

name: CI
on:
pull_request:
workflow_dispatch:
push:
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
DeterminateCI:
uses: DeterminateSystems/ci/.github/workflows/workflow.yml@main
permissions:
id-token: "write"
contents: "read"
with:
visibility: public
fail-fast: false
flake-checker:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Check Nix flake Nixpkgs inputs
uses: DeterminateSystems/flake-checker-action@v9