CI

CI #1185

Sign in to view logs

Triggered via merge group December 19, 2025 10:00

wenkokke

Status Success

Total duration 59m 44s

Artifacts 11

ci.yml

on: merge_group

Matrix: build

Publish to GitHub Pages

Publish to GitHub Releases

Annotations

101 warnings

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 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 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.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 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 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.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 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 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	11.7 MB	`sha256:276b34783651a900ce0bcc4c3f7ae5d47efa9a9c6f14741d88f74954f129227d`
Website HEAD Linux Agda-2.7.0 GHC-8.10.7	11.7 MB	`sha256:97be3bc3ef711a349423f05a45976d87bc6d0be6ab6bcd279ac276810ed16d43`
Website HEAD Linux Agda-2.7.0 GHC-9.0.2	11.7 MB	`sha256:11a0ae5f040c9d9374ac59fabf89bcc7b2acfabb62db66af2e81558e7342398d`
Website HEAD Linux Agda-2.7.0 GHC-9.2.8	11.7 MB	`sha256:0660148d222b70734f12b07c4985df0048f87a7a9490253ef4882d2ab4754355`
Website HEAD Linux Agda-2.7.0 GHC-9.4.8	11.7 MB	`sha256:43da9206485c3dc43b3010c5c27b24b3e4ed861b305cd9c76642c66911f0fada`
Website HEAD Linux Agda-2.7.0 GHC-9.6.6	11.7 MB	`sha256:7a963f33ca11ed9c7e221e1606046d56ede552eb7859f3475c8fe2dcdbd11e5c`
Website HEAD Linux Agda-2.7.0 GHC-9.6.6	11.7 MB	`sha256:7a963f33ca11ed9c7e221e1606046d56ede552eb7859f3475c8fe2dcdbd11e5c`
Website HEAD Linux Agda-2.7.0 GHC-9.6.6	11.7 MB	`sha256:7a963f33ca11ed9c7e221e1606046d56ede552eb7859f3475c8fe2dcdbd11e5c`
Website HEAD Linux Agda-2.7.0 GHC-9.8.2	11.7 MB	`sha256:6d08e6509645f4a429597888280941410466512f54876c4f12176b4589269785`
Website HEAD Windows Agda-2.7.0 GHC-9.4.8	12.7 MB	`sha256:799334ce553971fdfe281311a4c9f8a2c3771514c2607dd42e267232c13ee28b`
Website HEAD macOS Agda-2.7.0 GHC-9.4.8	11.7 MB	`sha256:7425344f9c0f040170bdf75a82cde7d6f8ab9f45a9ba5656352e70a657105597`