Skip to content
CI

Bump html-validate from 9.3.0 to 9.4.0 #262

Sign in to view logs

Bump html-validate from 9.3.0 to 9.4.0

Bump html-validate from 9.3.0 to 9.4.0 #262

Triggered via push February 24, 2025 11:57
@fangyi-zhoufangyi-zhou
pushed 764a18b
dev
Status Success
Total duration 40m 19s
Artifacts 3

ci.yml

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

Annotations

35 warnings
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 on Linux
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
Build on Linux: _site/Confluence/index.html#L244
Prefer to use the native <ul> element
Build on Linux: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build on Linux: _site/Contributing/index.html#L43
Prefer to use the native <ul> element
Build on Linux: _site/Contributing/index.html#L43
Prefer to use the native <li> element
Build on Linux: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build on Linux: _site/Denotational/index.html#L514
Prefer to use the native <li> element
Build on Linux: _site/Denotational/index.html#L514
Prefer to use the native <li> element
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 newer GHC 9.8.2: _site/Confluence/index.html#L244
Prefer to use the native <ul> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Contributing/index.html#L43
Prefer to use the native <ul> element
Build with newer GHC 9.8.2: _site/Contributing/index.html#L43
Prefer to use the native <li> element
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/Denotational/index.html#L514
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Denotational/index.html#L514
Prefer to use the native <li> element
Build with newer GHC 9.8.2: tools/Buildfile/Book.hs#L77
In the use of ‘tail’
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 on Windows: _site/Confluence/index.html#L487
Prefer to use the native <ul> element
Build on Windows: _site/Confluence/index.html#L487
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L487
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L487
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L487
Prefer to use the native <li> element
Build on Windows: _site/Contributing/index.html#L43
Prefer to use the native <ul> element
Build on Windows: _site/Contributing/index.html#L43
Prefer to use the native <li> element
Build on Windows: _site/Denotational/index.html#L1027
Prefer to use the native <ul> element
Build on Windows: _site/Denotational/index.html#L1027
Prefer to use the native <li> element
Build on Windows: _site/Denotational/index.html#L1027
Prefer to use the native <li> element

Artifacts

Produced during runtime
Name Size
Website HEAD Linux Agda-2.7.0 GHC-9.4.8
11.5 MB
Website HEAD Linux Agda-2.7.0 GHC-9.8.2
11.5 MB
Website HEAD Windows Agda-2.7.0 GHC-9.4.8
12.6 MB