Skip to content
CI

Bump html-validate from 10.5.0 to 10.6.0 #1251

Sign in to view logs

Bump html-validate from 10.5.0 to 10.6.0

Bump html-validate from 10.5.0 to 10.6.0 #1251

Triggered via pull request January 23, 2026 22:01
@dependabotdependabot[bot]
synchronize #1171
dependabot/npm_and_yarn/html-validate-10.6.0
Status Success
Total duration 41m 43s
Artifacts 9

ci.yml

on: pull_request
Matrix: build
Publish to GitHub Pages
Publish to GitHub Pages
Publish to GitHub Releases
Publish to GitHub Releases
Fit to window
Zoom out
Zoom in

Annotations

101 warnings
Build with newer GHC 9.6.6: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build with newer GHC 9.6.6: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with newer GHC 9.6.6: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with newer GHC 9.6.6: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with newer GHC 9.6.6: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with newer GHC 9.6.6: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with newer GHC 9.6.6: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with newer GHC 9.6.6: _site/Confluence/index.html#L252
Prefer to use the native <ul> element
Build with newer GHC 9.6.6: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build with newer GHC 9.6.6: _site/Announcements/index.html#L15
Duplicate ID "cb1"
Build with newer GHC 9.6.6
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build with newer GHC 9.8.2: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build with newer GHC 9.8.2: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L252
Prefer to use the native <ul> element
Build with newer GHC 9.8.2: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build with newer GHC 9.8.2: _site/Announcements/index.html#L15
Duplicate ID "cb1"
Build with newer GHC 9.8.2: tools/Buildfile/Book.hs#L77
In the use of ‘tail’
Build with newer GHC 9.8.2
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build with older Agda 2.6.4.3: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build with older Agda 2.6.4.3: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with older Agda 2.6.4.3: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with older Agda 2.6.4.3: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older Agda 2.6.4.3: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older Agda 2.6.4.3: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older Agda 2.6.4.3: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older Agda 2.6.4.3: _site/Confluence/index.html#L252
Prefer to use the native <ul> element
Build with older Agda 2.6.4.3: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build with older Agda 2.6.4.3: _site/Announcements/index.html#L15
Duplicate ID "cb1"
Build with older Agda 2.6.4.3
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build on Linux: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build on Linux: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build on Linux: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build on Linux: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L252
Prefer to use the native <ul> element
Build on Linux: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build on Linux: _site/Announcements/index.html#L15
Duplicate ID "cb1"
Build on Linux
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build with older GHC 9.2.8: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build with older GHC 9.2.8: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with older GHC 9.2.8: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with older GHC 9.2.8: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.2.8: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.2.8: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.2.8: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.2.8: _site/Confluence/index.html#L252
Prefer to use the native <ul> element
Build with older GHC 9.2.8: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build with older GHC 9.2.8: _site/Announcements/index.html#L15
Duplicate ID "cb1"
Build with older GHC 9.2.8
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build on Windows: _site/Denotational/index.html#L1027
Prefer to use the native <ul> element
Build on Windows: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build on Windows: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build on Windows: _site/Confluence/index.html#L503
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L503
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L503
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L503
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L503
Prefer to use the native <ul> element
Build on Windows: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build on Windows: _site/Announcements/index.html#L15
Duplicate ID "cb1"
Build on Windows
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build with older GHC 8.10.7: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build with older GHC 8.10.7: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with older GHC 8.10.7: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with older GHC 8.10.7: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 8.10.7: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 8.10.7: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 8.10.7: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 8.10.7: _site/Confluence/index.html#L252
Prefer to use the native <ul> element
Build with older GHC 8.10.7: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build with older GHC 8.10.7: _site/Announcements/index.html#L15
Duplicate ID "cb1"
Build with older GHC 8.10.7
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build with older GHC 9.0.2: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build with older GHC 9.0.2: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with older GHC 9.0.2: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with older GHC 9.0.2: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.0.2: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.0.2: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.0.2: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.0.2: _site/Confluence/index.html#L252
Prefer to use the native <ul> element
Build with older GHC 9.0.2: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build with older GHC 9.0.2: _site/Announcements/index.html#L15
Duplicate ID "cb1"
Build with older GHC 9.0.2
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build on macOS: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build on macOS: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build on macOS: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build on macOS: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on macOS: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on macOS: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on macOS: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on macOS: _site/Confluence/index.html#L252
Prefer to use the native <ul> element
Build on macOS: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build on macOS: _site/Announcements/index.html#L15
Duplicate ID "cb1"
Build on macOS
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build on macOS
Support for arm64 is experimental

Artifacts

Produced during runtime
Name Size Digest
Website HEAD Linux Agda-2.6.4.3 GHC-9.4.8 Expired
11.6 MB
sha256:0e254bf864f08b477285cb546c0a8b662ebd9d6437756a221283171077acfbae
Website HEAD Linux Agda-2.7.0 GHC-8.10.7 Expired
11.6 MB
sha256:021d02eb1717d6587a48ed3ba3b2e20adb618401c74aa10cdb9219862fbc0e68
Website HEAD Linux Agda-2.7.0 GHC-9.0.2 Expired
11.6 MB
sha256:9ff32c06991af7e75e89aa3e18611e7bdc1fbc1f5735b6a81c4e47eaece8f0b4
Website HEAD Linux Agda-2.7.0 GHC-9.2.8 Expired
11.6 MB
sha256:a9d98130f1939de624ac6e42a53441b192b995427cc81be163b8edaf960b10e4
Website HEAD Linux Agda-2.7.0 GHC-9.4.8 Expired
11.6 MB
sha256:74f840f84de13daa4b1317d4607aadf80cd2ce4d65ae29129d669b73b91e3aad
Website HEAD Linux Agda-2.7.0 GHC-9.6.6 Expired
11.6 MB
sha256:e70c67668480159cea26b59f9de233aed495deda03cff0a4f34fda8f8c4cfc1a
Website HEAD Linux Agda-2.7.0 GHC-9.8.2 Expired
11.6 MB
sha256:644f1a57845355861434815653618625d62b1b498fcd0dec73af2cb5ab21cbdc
Website HEAD Windows Agda-2.7.0 GHC-9.4.8 Expired
12.6 MB
sha256:df5d452b3a70aeb32fa8fe1026c943e75ef7ffd2ca9f0b84bd0d1c9049f2755c
Website HEAD macOS Agda-2.7.0 GHC-9.4.8 Expired
11.6 MB
sha256:f25702deae37fa08c47028115668d7bb05b760eb92559190b652e8a3a7ad0ba0