Bump html-validate from 8.24.1 to 8.24.2 #201
ci.yml
on: pull_request
Matrix: build
Publish to GitHub Pages
0s
Publish to GitHub Releases
0s
Annotations
46 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Website HEAD Linux Agda-2.7.0 GHC-9.4.8
|
4.66 MB |
|
Website HEAD Linux Agda-2.7.0 GHC-9.8.2
|
4.66 MB |
|
Website HEAD Windows Agda-2.7.0 GHC-9.4.8
|
8.75 MB |
|