update Assignment3 (#1062) #910
ci.yml
on: push
Matrix: build
Publish to GitHub Pages
21s
Publish to GitHub Releases
0s
Annotations
112 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 |
|