Skip to content
CI

Bump socket.io-parser from 4.2.4 to 4.2.7 (#1218) #1366

Sign in to view logs

Bump socket.io-parser from 4.2.4 to 4.2.7 (#1218)

Bump socket.io-parser from 4.2.4 to 4.2.7 (#1218) #1366

Triggered via push August 5, 2026 10:39
@github-merge-queuegithub-merge-queue[bot]
pushed 65d07e7
dev
Status Success
Total duration 44m 12s
Artifacts 7

ci.yml

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

Annotations

92 warnings
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 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 with older Agda 2.6.4.3: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build on macOS: _site/Denotational/index.html#L514
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 on macOS: _site/Contributing/index.html#L46
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 on macOS: _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 <ul> element
Build on macOS: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older Agda 2.6.4.3: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build on macOS: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older Agda 2.6.4.3: _site/Announcements/index.html#L15
Duplicate ID "cb1"
Build on macOS: _site/Confluence/index.html#L252
Prefer to use the native <li> element
Build with older Agda 2.6.4.3: tools/Buildfile/Book.hs#L77
In the use of ‘tail’
Build on macOS: _site/Confluence/index.html#L252
Prefer to use the native <li> 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 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 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: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build with older GHC 9.10.3: _site/Announcements/index.html#L15
Duplicate ID "cb1"
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 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: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build with older GHC 9.8.4: _site/Announcements/index.html#L15
Duplicate ID "cb1"
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 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.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: _site/Announcements/index.html#L15
Duplicate ID "cb1-1"
Build with older GHC 9.6.7: _site/Announcements/index.html#L15
Duplicate ID "cb1"
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 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/
Publish to GitHub Pages
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. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
Website HEAD Linux Agda-2.6.4.3 GHC-9.12.4
11.6 MB
sha256:19b909ec75c4ddc56c02c4a09716e800703d4d9be92b26e0a0e3ee790a64f89b
Website HEAD Linux Agda-2.7.0.1 GHC-9.10.3
11.6 MB
sha256:c29765b877109a9dbb766d0527ee4d88aa1f0e19cd06721cea3639ab790f0d80
Website HEAD Linux Agda-2.7.0.1 GHC-9.12.4
11.6 MB
sha256:979d0d3f17c507d4d0bba04d3651dd86addb93264840fad23bbf94a5d78e887a
Website HEAD Linux Agda-2.7.0.1 GHC-9.6.7
11.6 MB
sha256:45d99e9fe00269888b11f1e144ee832ffd2d9023b57785c370aa1476ad0aadcc
Website HEAD Linux Agda-2.7.0.1 GHC-9.8.4
11.6 MB
sha256:31093425336575fae9353b60be3d5234d9a31c142a79ba265baca22846a1c56a
Website HEAD Windows Agda-2.7.0.1 GHC-9.12.4
12.6 MB
sha256:498ae6fa98f57b83349baa02c74b3d186bcb6dd889589a54de794affe09fd5af
Website HEAD macOS Agda-2.7.0.1 GHC-9.12.4
11.6 MB
sha256:7311ac2f3aaafa8d6b911c66fc90c8d22288fb58602de0c75dc7f2a926924591