Skip to content

Bump html-validate from 8.8.0 to 8.15.0 #79

Bump html-validate from 8.8.0 to 8.15.0

Bump html-validate from 8.8.0 to 8.15.0 #79

Triggered via pull request March 11, 2024 05:48
Status Failure
Total duration 18m 2s
Artifacts 4

ci.yml

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

Annotations

16 errors and 24 warnings
Build with newer GHC 9.6.3: _site/404.html#L1
Landmarks must have a non-empty and unique accessible name (aria-label or aria-labelledby)
Build with newer GHC 9.6.3: _site/404.html#L1
Landmarks must have a non-empty and unique accessible name (aria-label or aria-labelledby)
Build with newer GHC 9.6.3: _site/404.html#L1
Landmarks must have a non-empty and unique accessible name (aria-label or aria-labelledby)
Build with newer GHC 9.6.3: _site/index.html#L1
Landmarks must have a non-empty and unique accessible name (aria-label or aria-labelledby)
Build with newer GHC 9.6.3: _site/index.html#L1
Landmarks must have a non-empty and unique accessible name (aria-label or aria-labelledby)
Build with newer GHC 9.6.3: _site/index.html#L1
Landmarks must have a non-empty and unique accessible name (aria-label or aria-labelledby)
Build with newer GHC 9.6.3: _site/Acknowledgements/index.html#L1
Landmarks must have a non-empty and unique accessible name (aria-label or aria-labelledby)
Build with newer GHC 9.6.3: _site/Acknowledgements/index.html#L1
Landmarks must have a non-empty and unique accessible name (aria-label or aria-labelledby)
Build with newer GHC 9.6.3: _site/Acknowledgements/index.html#L1
Landmarks must have a non-empty and unique accessible name (aria-label or aria-labelledby)
Build with newer GHC 9.6.3: _site/Adequacy/index.html#L1
Landmarks must have a non-empty and unique accessible name (aria-label or aria-labelledby)
Build on Windows
The job was canceled because "Build_with_newer_GHC_9_6_" failed.
Build on Windows
The operation was canceled.
Build on Linux
The job was canceled because "Build_with_newer_GHC_9_6_" failed.
Build on Linux
The operation was canceled.
Build on macOS
The job was canceled because "Build_with_newer_GHC_9_6_" failed.
Build on macOS
The operation was canceled.
Build with newer GHC 9.6.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 with newer GHC 9.6.3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: haskell-actions/setup@v2, actions/cache@v3, wenkokke/setup-agda@latest, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build with newer GHC 9.6.3: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build with newer GHC 9.6.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Contributing/index.html#L43
Prefer to use the native <ul> element
Build with newer GHC 9.6.3: _site/Contributing/index.html#L43
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Denotational/index.html#L516
Prefer to use the native <ul> element
Build with newer GHC 9.6.3: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with newer GHC 9.6.3: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with newer GHC 9.6.3: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with newer GHC 9.6.3: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on Windows: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on Windows: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on Windows: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on Linux: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on Linux: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on Linux: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on macOS: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on macOS: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on macOS: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):

Artifacts

Produced during runtime
Name Size
Website HEAD Linux Agda-2.6.3 GHC-9.4.8 Expired
2.16 MB
Website HEAD Linux Agda-2.6.3 GHC-9.6.3 Expired
3.98 MB
Website HEAD Windows Agda-2.6.3 GHC-9.4.8 Expired
1.72 MB
Website HEAD macOS Agda-2.6.3 GHC-9.4.8 Expired
1.59 MB