CI #855
ci.yml
on: merge_group
Matrix: build
Publish to GitHub Pages
0s
Publish to GitHub Releases
0s
Annotations
110 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Website HEAD Linux Agda-2.6.4.3 GHC-9.4.8
|
12.6 MB |
|
Website HEAD Linux Agda-2.7.0 GHC-8.10.7
|
12.6 MB |
|
Website HEAD Linux Agda-2.7.0 GHC-9.0.2
|
12.6 MB |
|
Website HEAD Linux Agda-2.7.0 GHC-9.2.8
|
12.6 MB |
|
Website HEAD Linux Agda-2.7.0 GHC-9.4.8
|
12.6 MB |
|
Website HEAD Linux Agda-2.7.0 GHC-9.6.6
|
12.6 MB |
|
Website HEAD Linux Agda-2.7.0 GHC-9.8.2
|
12.6 MB |
|
Website HEAD Windows Agda-2.7.0 GHC-9.4.8
|
12.6 MB |
|
Website HEAD macOS Agda-2.7.0 GHC-9.4.8
|
11.6 MB |
|