Bump JamesIves/github-pages-deploy-action from 4.4.3 to 4.5.0 (#943) #602
ci.yml
on: push
Matrix: build
Publish to GitHub Pages
51s
Publish to GitHub Releases
0s
Annotations
138 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Website HEAD Linux Agda-2.6.1.3 GHC-9.2.7
Expired
|
21 MB |
|
Website HEAD Linux Agda-2.6.2 GHC-9.2.7
Expired
|
21 MB |
|
Website HEAD Linux Agda-2.6.2.1 GHC-9.2.7
Expired
|
21 MB |
|
Website HEAD Linux Agda-2.6.2.2 GHC-9.2.7
Expired
|
21 MB |
|
Website HEAD Linux Agda-2.6.3 GHC-8.10.7
Expired
|
21 MB |
|
Website HEAD Linux Agda-2.6.3 GHC-9.0.2
Expired
|
21 MB |
|
Website HEAD Linux Agda-2.6.3 GHC-9.2.7
Expired
|
21 MB |
|
Website HEAD Linux Agda-2.6.3 GHC-9.4.5
Expired
|
21 MB |
|
Website HEAD Linux Agda-2.6.3 GHC-9.6.2
Expired
|
21 MB |
|
Website HEAD Windows Agda-2.6.3 GHC-9.2.7
Expired
|
25.4 MB |
|
Website HEAD macOS Agda-2.6.3 GHC-9.2.7
Expired
|
21 MB |
|