CI

CI #1051

Sign in to view logs

Triggered via merge group April 28, 2025 23:57

wenkokke

Status Failure

Total duration 33m 23s

Artifacts 9

ci.yml

on: merge_group

Matrix: build

Publish to GitHub Pages

Publish to GitHub Releases

Annotations

9 errors and 61 warnings

Build with older Agda 2.6.4.3

Process completed with exit code 1.

Build on Windows

The operation was canceled.

Build on Windows

The strategy configuration was canceled because "build.Build_with_older_Agda_2_6" failed

Build with older GHC 9.0.2

The operation was canceled.

Build with older GHC 9.0.2

The strategy configuration was canceled because "build.Build_with_older_Agda_2_6" failed

Build with older GHC 8.10.7

The operation was canceled.

Build with older GHC 8.10.7

The strategy configuration was canceled because "build.Build_with_older_Agda_2_6" failed

Build with older GHC 9.2.8

The operation was canceled.

Build with older GHC 9.2.8

The strategy configuration was canceled because "build.Build_with_older_Agda_2_6" failed

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 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.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 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 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

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

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

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:805c43633d3afb48162b62e7f49c8f6e31227350b4e9f0faa51deda83b38b727`
Website HEAD Linux Agda-2.7.0 GHC-8.10.7 Expired	6.93 MB	`sha256:1dd59838c7b50e9d9746fe26f8ee01af4b503dca16ebbe86d9660c9d66d4eb28`
Website HEAD Linux Agda-2.7.0 GHC-9.0.2 Expired	6.54 MB	`sha256:79ce59b6cb46777d0d08571f76594492b873581ebc234a485c41ce19bc2d697c`
Website HEAD Linux Agda-2.7.0 GHC-9.2.8 Expired	7.32 MB	`sha256:1883fcc7acd36dd8dda5d9338351073d947fc80d8eed8072a71ed092794b1edb`
Website HEAD Linux Agda-2.7.0 GHC-9.4.8 Expired	11.7 MB	`sha256:f4357502df6aa167ca57b6070940773bb5f449cdec8bbd440b6da6a46063bc6a`
Website HEAD Linux Agda-2.7.0 GHC-9.6.6 Expired	11.7 MB	`sha256:8f0666800c70ca0c781fb77d3fafea1e5b5ce9c7dcb6e479483908d2b4303539`
Website HEAD Linux Agda-2.7.0 GHC-9.8.2 Expired	11.7 MB	`sha256:8f13acd96d52c067775d7359a9922e9fef60d04ec27d2ede41f629f5a74ef810`
Website HEAD Windows Agda-2.7.0 GHC-9.4.8 Expired	6.8 MB	`sha256:bd10fd1662d17437dd11d5d77f057bd538b66633a48989d97fe4055c8943d3ff`
Website HEAD macOS Agda-2.7.0 GHC-9.4.8 Expired	11.7 MB	`sha256:607601f5249cada275198a4f0e6177159b92504d875904d40299b20f9895bd6a`