Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 (#1012) #774
ci.yml
on: push
Matrix: build
Publish to GitHub Pages
7m 5s
Publish to GitHub Releases
0s
Annotations
168 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Website HEAD Linux Agda-2.6.1.3 GHC-9.4.8
|
4.78 MB |
|
Website HEAD Linux Agda-2.6.2 GHC-9.4.8
|
4.78 MB |
|
Website HEAD Linux Agda-2.6.2.1 GHC-9.4.8
|
4.78 MB |
|
Website HEAD Linux Agda-2.6.2.2 GHC-9.4.8
|
4.78 MB |
|
Website HEAD Linux Agda-2.6.3 GHC-8.10.7
|
4.78 MB |
|
Website HEAD Linux Agda-2.6.3 GHC-9.0.2
|
4.78 MB |
|
Website HEAD Linux Agda-2.6.3 GHC-9.2.8
|
4.78 MB |
|
Website HEAD Linux Agda-2.6.3 GHC-9.4.8
|
4.78 MB |
|
Website HEAD Linux Agda-2.6.3 GHC-9.6.3
|
4.78 MB |
|
Website HEAD Windows Agda-2.6.3 GHC-9.4.8
|
8.86 MB |
|
Website HEAD macOS Agda-2.6.3 GHC-9.4.8
|
4.75 MB |
|