Skip to content

Commit 3f5d2b1

Browse files
committed
Added Github CI
1 parent ff19918 commit 3f5d2b1

File tree

1 file changed

+47
-0
lines changed

1 file changed

+47
-0
lines changed

.github/workflows/ci.yml

Lines changed: 47 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
name: brick-panes CI
2+
on:
3+
push:
4+
branches:
5+
- 'main'
6+
pull_request:
7+
workflow_dispatch:
8+
9+
jobs:
10+
build:
11+
runs-on: ubuntu-latest
12+
strategy:
13+
matrix:
14+
ghc-version: [ "ghc912", "ghc910", "ghc98", "ghc96", "ghc94" ]
15+
steps:
16+
- uses: cachix/install-nix-action@v31
17+
with:
18+
github_access_token: ${{ secrets.GITHUB_TOKEN }}
19+
- uses: cachix/cachix-action@v16
20+
with:
21+
name: kquick
22+
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
23+
- name: build ${{ matrix.ghc-version }}
24+
shell: bash
25+
run: nix build github:${{ github.repository }}/${{ github.sha }}#sayable.${{ matrix.ghc-version }}
26+
nixbuilds:
27+
runs-on: ubuntu-latest
28+
steps:
29+
- uses: actions/checkout@v5
30+
- name: Lighten the load
31+
uses: endersonmenezes/free-disk-space@v3
32+
with:
33+
remove_android: true
34+
remove_dotnet: true
35+
remove_folders: "/usr/share/swift /usr/share/miniconda /usr/share /usr/local/share"
36+
rm_cmd: "rmz" # faster
37+
- uses: cachix/install-nix-action@v31
38+
with:
39+
github_access_token: ${{ secrets.GITHUB_TOKEN }}
40+
- uses: cachix/cachix-action@v16
41+
with:
42+
name: kquick
43+
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
44+
- name: nixbuild_all
45+
shell: bash
46+
run: nix run github:galoisinc/eng dev nixbuild:all
47+

0 commit comments

Comments
 (0)