Skip to content
CI

Prevent color change of visited definitions in code blocks #1218

Sign in to view logs

Prevent color change of visited definitions in code blocks

Prevent color change of visited definitions in code blocks #1218

Triggered via pull request December 24, 2025 19:22
@wenkokkewenkokke
synchronize #990
adql:issue-989
Status Success
Total duration 56m 37s
Artifacts 9

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

101 warnings
Build with newer GHC 9.6.6: _site/Denotational/index.html#L514
Prefer to use the native <li> element
Build with newer GHC 9.6.6: _site/Denotational/index.html#L514
Prefer to use the native <li> element
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
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 <li> element
Build with older Agda 2.6.4.3: _site/Denotational/index.html#L514
Prefer to use the native <li> element
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
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 <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: _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: 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 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 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
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 <li> 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 <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
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 <li> element
Build on macOS: _site/Denotational/index.html#L514
Prefer to use the native <li> element
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
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
Build with older GHC 9.2.8: _site/Denotational/index.html#L514
Prefer to use the native <li> element
Build with older GHC 9.2.8: _site/Denotational/index.html#L514
Prefer to use the native <li> element
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
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 <li> element
Build with older GHC 8.10.7: _site/Denotational/index.html#L514
Prefer to use the native <li> element
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
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 <li> element
Build with older GHC 9.0.2: _site/Denotational/index.html#L514
Prefer to use the native <li> element
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
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/

Artifacts

Produced during runtime
Name Size Digest
Website HEAD Linux Agda-2.6.4.3 GHC-9.4.8 Expired
11.6 MB
sha256:165c1b0d0988f77b913af4474c24500377d666f062605c2cf8bbcab0c523ca7f
Website HEAD Linux Agda-2.7.0 GHC-8.10.7 Expired
11.6 MB
sha256:78cb321bbd80e793953aa63cae1b6def001ca26db3fa77d4b4cec9ec25027f7f
Website HEAD Linux Agda-2.7.0 GHC-9.0.2 Expired
11.6 MB
sha256:6d0843a6174814c05ec307fc75870cac0e90d532d1714ce3bbde0cbbeb47ea5f
Website HEAD Linux Agda-2.7.0 GHC-9.2.8 Expired
11.6 MB
sha256:660eda3b54e114cb8292e28d57dbed2d9a22f31416fdb17a9fb698ad33f145e4
Website HEAD Linux Agda-2.7.0 GHC-9.4.8 Expired
11.6 MB
sha256:99471df2fae232e6019141e276d39a66a8621ac5bc8b3089f0ae3a119472eb4e
Website HEAD Linux Agda-2.7.0 GHC-9.6.6 Expired
11.6 MB
sha256:9d392000527b598ae55ae92e73e07e4925ad48c9ccdf0e7c1382bebaf9e2fa57
Website HEAD Linux Agda-2.7.0 GHC-9.8.2 Expired
11.6 MB
sha256:21c942b278de1940f7cf9289e5548bf50017e1c3cb7a2d8dd80e4895d06a97df
Website HEAD Windows Agda-2.7.0 GHC-9.4.8 Expired
12.7 MB
sha256:76d1f87fbfae529a43995a6294217842ef0cd903699521d0ce60cfa2b15d8abd
Website HEAD macOS Agda-2.7.0 GHC-9.4.8 Expired
11.6 MB
sha256:59c797f9275e60d297f0c9e124b2f54824faf998cf5b07c210db645d8d14bc16