CI

CI #1239

Sign in to view logs

Triggered via merge group January 16, 2026 20:01

wenkokke

Status Success

Total duration 42m 6s

Artifacts 9

ci.yml

on: merge_group

Matrix: build

Publish to GitHub Pages

Publish to GitHub Releases

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 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 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 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 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 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 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 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 Expired	11.6 MB	`sha256:b37aa14f9e6e6d3caf8b31ac116b4df5963a30075cf657d1e5d0aa833f02050c`
Website HEAD Linux Agda-2.7.0 GHC-8.10.7 Expired	11.6 MB	`sha256:f464a84f551a44f0c9d1f24dd3a05baf8fa3be978e8eaab8d28a5189f72cebc1`
Website HEAD Linux Agda-2.7.0 GHC-9.0.2 Expired	11.6 MB	`sha256:c0f163571c583b6de36e8156014e149a1ec4feb4406241a452f2138ee51d1a3b`
Website HEAD Linux Agda-2.7.0 GHC-9.2.8 Expired	11.6 MB	`sha256:6d7af13d77751281112923cab5c2f9814b580d34d9a6d7ca6ad2ccc1d60c7307`
Website HEAD Linux Agda-2.7.0 GHC-9.4.8 Expired	11.6 MB	`sha256:cafededb6780d9e24342bbb21dcfccf0341a8054d54ddbfd82e468b2b853a477`
Website HEAD Linux Agda-2.7.0 GHC-9.6.6 Expired	11.6 MB	`sha256:41b885b98db564899b40d85ad30dbdd6d40b41606d91504edc0c708319c5baf5`
Website HEAD Linux Agda-2.7.0 GHC-9.8.2 Expired	11.6 MB	`sha256:c83e683f2d5006657a0d7da5ede9769002e5a883e32fcff6fc064f955cfea3a1`
Website HEAD Windows Agda-2.7.0 GHC-9.4.8 Expired	12.6 MB	`sha256:8d2cd2fce8011f613a74c8c4d1290d0c57097d3d3e1b7e64bbfe4926a3e9cacc`
Website HEAD macOS Agda-2.7.0 GHC-9.4.8 Expired	11.6 MB	`sha256:14811ffb5ce6ca6a455cce8859c25d3b7d212149583344ce50649266afd17d8f`