Skip to content
CI

Bump browser-sync from 3.0.3 to 3.0.4 (#1107) #1043

Sign in to view logs

Bump browser-sync from 3.0.3 to 3.0.4 (#1107)

Bump browser-sync from 3.0.3 to 3.0.4 (#1107) #1043

Triggered via push April 8, 2025 00:27
@github-merge-queuegithub-merge-queue[bot]
pushed 41e5637
dev
Status Success
Total duration 20m 56s
Artifacts 9

ci.yml

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

Annotations

100 warnings
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 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
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 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 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/
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 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 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 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/

Artifacts

Produced during runtime
Name Size Digest
Website HEAD Linux Agda-2.6.4.3 GHC-9.4.8 Expired
11.7 MB
sha256:a0d89de3488b3d8a25ab4524831e3f0429c87ec70b1fa7081fd988d774b08fce
Website HEAD Linux Agda-2.7.0 GHC-8.10.7 Expired
11.7 MB
sha256:3c1fd84057f32bfb611cd2fff8f9e3920baf4da3594c373b37afc7366ac602c9
Website HEAD Linux Agda-2.7.0 GHC-9.0.2 Expired
11.7 MB
sha256:944d909c4db79d65a92cd636f9dd708710243b3d20a9b19d0838cdb9f998bdff
Website HEAD Linux Agda-2.7.0 GHC-9.2.8 Expired
11.7 MB
sha256:45ed3c841599f33f98b852db1746df1bed1d542dc7119e571801555f06009cb3
Website HEAD Linux Agda-2.7.0 GHC-9.4.8 Expired
11.7 MB
sha256:7a3fd8057984cf11b3917476822ef7970d75194f77451427ba05e032d5f22fa4
Website HEAD Linux Agda-2.7.0 GHC-9.6.6 Expired
11.7 MB
sha256:0f42a94285d255c22024f83fa86536700b5cf2cf17f5d6810a68c5bb1358c32a
Website HEAD Linux Agda-2.7.0 GHC-9.8.2 Expired
11.7 MB
sha256:136cce2593410ad316190543f70d1ff092157b37cf3b61e6898e7b361cff788c
Website HEAD Windows Agda-2.7.0 GHC-9.4.8 Expired
12.7 MB
sha256:74c434eff0f41adc7e59ad28fa2543ebe43889fffb88358bd57211e111c7bcbd
Website HEAD macOS Agda-2.7.0 GHC-9.4.8 Expired
11.7 MB
sha256:2b39d996f28f04885fe11c02c304737ffbd3380bf774af5f7be69db59fe887ac