CI

CI #967

Sign in to view logs

Triggered via merge group January 12, 2025 14:32

wenkokke

Status Success

Total duration 27m 10s

Artifacts 9

ci.yml

on: merge_group

Matrix: build

Publish to GitHub Pages

Publish to GitHub Releases

Annotations

100 warnings

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.6.6: _site/Confluence/index.html#L252

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/Contributing/index.html#L46

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/Denotational/index.html#L514

Prefer to use the native <ul> 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 <li> 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 macOS: _site/Confluence/index.html#L252

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/Contributing/index.html#L46

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/Denotational/index.html#L514

Prefer to use the native <ul> 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 <li> 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 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/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/Contributing/index.html#L46

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/Denotational/index.html#L514

Prefer to use the native <ul> 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 <li> 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 on Linux: _site/Confluence/index.html#L252

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/Contributing/index.html#L46

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/Denotational/index.html#L514

Prefer to use the native <ul> 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 <li> 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 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/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/Contributing/index.html#L46

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/Denotational/index.html#L514

Prefer to use the native <ul> 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 <li> 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 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/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/Contributing/index.html#L46

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/Denotational/index.html#L514

Prefer to use the native <ul> 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 <li> 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.0.2: _site/Confluence/index.html#L252

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/Contributing/index.html#L46

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/Denotational/index.html#L514

Prefer to use the native <ul> 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 <li> 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 8.10.7: _site/Confluence/index.html#L252

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/Contributing/index.html#L46

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/Denotational/index.html#L514

Prefer to use the native <ul> 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 <li> 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 on Windows: _site/Confluence/index.html#L503

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/Contributing/index.html#L46

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/Denotational/index.html#L1027

Prefer to use the native <ul> 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 <li> element

Artifacts

Produced during runtime

Name	Size	Digest
Website HEAD Linux Agda-2.6.4.3 GHC-9.4.8	11.7 MB	`sha256:1500b9ae0953cb8c0bd4acac31a79109a22b9dd01e221ec00367898dca41d299`
Website HEAD Linux Agda-2.7.0 GHC-8.10.7	11.7 MB	`sha256:f50e9e5646f06d2bd42cc096d1161b72e81da6ea073c8401aa52fcd79e50ae84`
Website HEAD Linux Agda-2.7.0 GHC-9.0.2	11.7 MB	`sha256:9368745e4a597352283ce954c64c8ee310334b13794f9a4d5bf4b4c10aea3d75`
Website HEAD Linux Agda-2.7.0 GHC-9.2.8	11.7 MB	`sha256:f388090e74e2a6a5e61a8296c542d15abdabc92d914878b0d42b06769a9e0fa2`
Website HEAD Linux Agda-2.7.0 GHC-9.4.8	11.7 MB	`sha256:a3ffc2ebef3cb968fe57496ffcd41951cfc0910bfc0c2bf596701c7bac34ad4f`
Website HEAD Linux Agda-2.7.0 GHC-9.6.6	11.7 MB	`sha256:cdc6200b816ccf5a17b9fbc424029e699be1c176df4ca14b16465fcccfc086d7`
Website HEAD Linux Agda-2.7.0 GHC-9.8.2	11.7 MB	`sha256:2ab292a4532817ea5f339e268110e531c26955d85e88f932262aef075dff534f`
Website HEAD Windows Agda-2.7.0 GHC-9.4.8	12.7 MB	`sha256:1f53bf51b8131a7f5f31d7bd4d52be1ec31a404b330180e7bdeda051527f211b`
Website HEAD macOS Agda-2.7.0 GHC-9.4.8	11.7 MB	`sha256:ff620b875cd9d1172f4433e69a3d70bdebff3f6615b788cae544e15e331b3c17`