A Nix language compiler into Delta Interaction Nets
at main 39 lines 661 B view raw
1name: Build & Test 2 3on: 4 push: 5 branches: [ "main" ] 6 pull_request: 7 branches: [ "main" ] 8 9jobs: 10 11 test: 12 runs-on: ubuntu-latest 13 steps: 14 - uses: actions/checkout@v4 15 16 - name: Set up Go 17 uses: actions/setup-go@v5 18 with: 19 go-version: '1.25' 20 21 - name: Test 22 run: go test -v ./... 23 24 lint: 25 runs-on: ubuntu-latest 26 steps: 27 - uses: actions/checkout@v4 28 29 - name: Set up Go 30 uses: actions/setup-go@v5 31 with: 32 go-version: '1.25' 33 34 - name: Check if `go fmt` and `go mod tidy` make any changes 35 run: | 36 set -x 37 go fmt ./... 38 go mod tidy 39 git diff --exit-code