CI

CI #1161

Sign in to view logs

Triggered via merge group November 18, 2025 02:35

wenkokke

Status Success

Total duration 29m 51s

Artifacts 9

ci.yml

on: merge_group

Matrix: build

Publish to GitHub Pages

Publish to GitHub Releases

Annotations

100 warnings

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

Artifacts

Produced during runtime

Name	Size	Digest
Website HEAD Linux Agda-2.6.4.3 GHC-9.4.8	11.7 MB	`sha256:e64b99b9ccdd66ac4f505e092a0559b61c4e5c9023d3e3d4f5456bacbefe7775`
Website HEAD Linux Agda-2.7.0 GHC-8.10.7	11.7 MB	`sha256:56b40ccd5800c698b9ac4d35b741f85d32e3178fcad74b885b22a7c1867dbbce`
Website HEAD Linux Agda-2.7.0 GHC-9.0.2	11.7 MB	`sha256:7e11f7824c44d4ffcb9798263849558d943ae40192115badf1bb4c33f2dfba3e`
Website HEAD Linux Agda-2.7.0 GHC-9.2.8	11.7 MB	`sha256:a100dacb65ce853fc65d236a5a7b1cea0547d88a76811a4773db01acfa9c6419`
Website HEAD Linux Agda-2.7.0 GHC-9.4.8	11.7 MB	`sha256:6ef05d0c6641847b415f23b9ada822f604b29a6234e83af0563b45229dfdd091`
Website HEAD Linux Agda-2.7.0 GHC-9.6.6	11.7 MB	`sha256:c552586f7d555d67328ac33c9f530a4976773bed1ddcf2e1976d08be7ba1e937`
Website HEAD Linux Agda-2.7.0 GHC-9.8.2	11.7 MB	`sha256:8c93917eed2ed37dce2103861905c087cbd0d19cd9b18f5426199afc5cabd189`
Website HEAD Windows Agda-2.7.0 GHC-9.4.8	12.7 MB	`sha256:681855423e416932c13c37038f56168c57dbd6d438f4a4fe0d19ed5c7be167e2`
Website HEAD macOS Agda-2.7.0 GHC-9.4.8	11.7 MB	`sha256:359e52bd8f7b4764812119306a8744231504a821ad87f831f63e19de433c7bb3`