Skip to content
CI

Comment out omitted passage #1226

Sign in to view logs

Comment out omitted passage

Comment out omitted passage #1226

Triggered via pull request December 24, 2025 21:01
@wenkokkewenkokke
synchronize #1163
wenkokke/fix-omitted-passage
Status Success
Total duration 39m 4s
Artifacts 9

ci.yml

on: pull_request
Matrix: build
Publish to GitHub Pages
0s
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 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 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 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
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.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 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/

Artifacts

Produced during runtime
Name Size Digest
Website HEAD Linux Agda-2.6.4.3 GHC-9.4.8
11.6 MB
sha256:fe65fe48909d95be96d56b75f99519c7777d4722ddfe06c95e9029eeee09d4a3
Website HEAD Linux Agda-2.7.0 GHC-8.10.7
11.6 MB
sha256:76f1fe485056bf7d71ebfc25450b66763e7a42f72fdd009a70c335c32443c70f
Website HEAD Linux Agda-2.7.0 GHC-9.0.2
11.6 MB
sha256:f0c8c96d578eb1e5de76d45ab087bfcd59d73bbf60a439b33e84a688a10ffa4f
Website HEAD Linux Agda-2.7.0 GHC-9.2.8
11.6 MB
sha256:50201c9c6fce0e6c0b6918086f66dc0df2a84dfde0e7dc4ba36a6aa6e04db4a2
Website HEAD Linux Agda-2.7.0 GHC-9.4.8
11.6 MB
sha256:3b20b464b554490a48d263fbebda582e3b15136aaa6513a99c081806bb649e27
Website HEAD Linux Agda-2.7.0 GHC-9.6.6
11.6 MB
sha256:38e9be389764b40cd3187d0c9ad520fb93377635c7d4272db5c25910875aaa80
Website HEAD Linux Agda-2.7.0 GHC-9.8.2
11.6 MB
sha256:1ef4c4df631267bb72a0d8f6f13076eba4b700141569984127a6cc546ffe3dfe
Website HEAD Windows Agda-2.7.0 GHC-9.4.8
12.6 MB
sha256:9b3b3b6171daf07b3ab59903ca12387e1bebe8f703266554fea2568827b2bfc6
Website HEAD macOS Agda-2.7.0 GHC-9.4.8
11.6 MB
sha256:f451efe0a40a32bc1f833d8db726807848ca7c02cf9e1cd5566dc250201dc5bd