Skip to content

Bump fast-uri from 3.1.4 to 3.1.5 #1367

Bump fast-uri from 3.1.4 to 3.1.5

Bump fast-uri from 3.1.4 to 3.1.5 #1367

Triggered via pull request August 5, 2026 10:40
Status Success
Total duration 41m 37s
Artifacts 7

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

91 warnings
Build with older GHC 9.6.7
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v3, actions/setup-node@v3, wenkokke/setup-agda@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Build with older GHC 9.6.7: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build with older GHC 9.6.7: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with older GHC 9.6.7: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with older GHC 9.6.7: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.6.7: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.6.7: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.6.7: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.6.7: _site/Confluence/index.html#L252
Prefer to use the native <ul> element
Build with older GHC 9.6.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 on macOS
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v3, actions/setup-node@v3, wenkokke/setup-agda@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
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 following taps are not trusted: aws/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Untap them with: brew untap aws/tap Trust specific formulae, casks and commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> Whole-tap trust is broader and includes all current and future formulae, casks and commands from the listed taps. Trust whole taps with: brew trust aws/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release. For more information, see: https://docs.brew.sh/Tap-Trust
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 on Linux
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v3, actions/setup-node@v3, wenkokke/setup-agda@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
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: tools/Buildfile/Book.hs#L77
In the use of ‘tail’
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.10.3
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v3, actions/setup-node@v3, wenkokke/setup-agda@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Build with older GHC 9.10.3: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build with older GHC 9.10.3: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with older GHC 9.10.3: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with older GHC 9.10.3: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.10.3: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.10.3: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.10.3: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.10.3: _site/Confluence/index.html#L252
Prefer to use the native <ul> element
Build with older GHC 9.10.3: tools/Buildfile/Book.hs#L77
In the use of ‘tail’
Build with older GHC 9.10.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 older Agda 2.6.4.3
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v3, actions/setup-node@v3, wenkokke/setup-agda@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
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: tools/Buildfile/Book.hs#L77
In the use of ‘tail’
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 older GHC 9.8.4
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v3, actions/setup-node@v3, wenkokke/setup-agda@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Build with older GHC 9.8.4: _site/Denotational/index.html#L514
Prefer to use the native <ul> element
Build with older GHC 9.8.4: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with older GHC 9.8.4: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with older GHC 9.8.4: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.8.4: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.8.4: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.8.4: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older GHC 9.8.4: _site/Confluence/index.html#L252
Prefer to use the native <ul> element
Build with older GHC 9.8.4: tools/Buildfile/Book.hs#L77
In the use of ‘tail’
Build with older GHC 9.8.4
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
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v3, actions/setup-node@v3, wenkokke/setup-agda@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Build on Windows: _site/Denotational/index.html#L514
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#L252
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L252
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: 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/

Artifacts

Produced during runtime
Name Size Digest
Website HEAD Linux Agda-2.6.4.3 GHC-9.12.4
11.6 MB
sha256:358c845b69dad52bf66258dee255300c425d129599a488031440ddb0769b3a37
Website HEAD Linux Agda-2.7.0.1 GHC-9.10.3
11.6 MB
sha256:765f89d705d0ba6cb720e6e1fa9f49e53fbc0dc4bc539c8c989a499a621e8016
Website HEAD Linux Agda-2.7.0.1 GHC-9.12.4
11.6 MB
sha256:b7ec4c64dfc1815db4ebd8a90b81502c34e094fcce65fdf06e651f66ef769948
Website HEAD Linux Agda-2.7.0.1 GHC-9.6.7
11.6 MB
sha256:5a42e892dccc9cf6c2cb0ab445c7a83b23b0859215d1863228c559d2ee97d47b
Website HEAD Linux Agda-2.7.0.1 GHC-9.8.4
11.6 MB
sha256:464c2a1e31a3baabf28fefd2a5b86be6cd71dc72519aeb8c561eeed72e886d69
Website HEAD Windows Agda-2.7.0.1 GHC-9.12.4
12.6 MB
sha256:00486f7149d40b97ff4069112425de36d3846b8673676e1157ff15e8a4a3dad7
Website HEAD macOS Agda-2.7.0.1 GHC-9.12.4
11.6 MB
sha256:eb5eb417c84851a2672442048643600a798356b90586f837f2f1158df5851f3a