blob: 4e8130a8aa1f6dce219a22887add3bcf7ff602cb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
name: Nix CI
on:
push:
branches:
- master
pull_request:
branches:
- '**'
jobs:
setup:
runs-on: ubuntu-latest
outputs:
matrix: ${{ steps.set-matrix.outputs.matrix }}
steps:
- name: Cachix install
uses: cachix/install-nix-action@v12
with:
nix_path: nixpkgs=channel:nixpkgs-unstable
- name: Cachix setup coq
uses: cachix/cachix-action@v8
with:
# Name of a cachix cache to pull/substitute
name: coq
- name: Cachix setup math-comp
uses: cachix/cachix-action@v8
with:
# Name of a cachix cache to pull/substitute
name: math-comp
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
- name: Git checkout
uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Setup build matrix
id: set-matrix
run: |
matrix=$(nix-shell --arg do-nothing true --run nixTasks)
echo ::set-output name=matrix::{\"task\":$(echo $matrix)}\"
main:
runs-on: ubuntu-latest
needs:
- setup
strategy:
matrix: ${{fromJson(needs.setup.outputs.matrix)}}
fail-fast: false
steps:
- name: Cachix install
uses: cachix/install-nix-action@v12
with:
nix_path: nixpkgs=channel:nixpkgs-unstable
- name: Cachix setup coq
uses: cachix/cachix-action@v8
with:
# Name of a cachix cache to pull/substitute
name: coq
- name: Cachix setup math-comp
uses: cachix/cachix-action@v8
with:
# Name of a cachix cache to pull/substitute
name: math-comp
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
- name: Git checkout
uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Building/fetching dependencies
run: nix-build --no-out-link --argstr ci "${{ matrix.task }}" --argstr ci-job dependencies
- name: Building/fetching current project
run: nix-build --no-out-link --argstr ci "${{ matrix.task }}" --argstr ci-job main
shell:
runs-on: ubuntu-latest
needs:
- setup
strategy:
matrix: ${{fromJson(needs.setup.outputs.matrix)}}
fail-fast: false
steps:
- name: Cachix install
uses: cachix/install-nix-action@v12
with:
nix_path: nixpkgs=channel:nixpkgs-unstable
- name: Cachix setup coq
uses: cachix/cachix-action@v8
with:
# Name of a cachix cache to pull/substitute
name: coq
- name: Cachix setup math-comp
uses: cachix/cachix-action@v8
with:
# Name of a cachix cache to pull/substitute
name: math-comp
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
- name: Git checkout
uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Building/fetching dependencies
run: nix-build --no-out-link --argstr ci "${{ matrix.task }}" --argstr ci-job dependencies
- name: Building/fetching current project
run: nix-build --no-out-link --argstr ci "${{ matrix.task }}" --argstr ci-job shell
|
