CI

paragraph on normal order reduction in Untyped chapter #1237

Sign in to view logs

Triggered via pull request January 16, 2026 15:17

pre-commit-ci[bot]

synchronize #962

proglang:untyped-normal-order-reduction

Status Success

Total duration 43m 26s

Artifacts 9

ci.yml

on: pull_request

Matrix: build

Publish to GitHub Pages

Publish to GitHub Releases

Annotations

101 warnings

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

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

Artifacts

Produced during runtime

Name	Size	Digest
Website HEAD Linux Agda-2.6.4.3 GHC-9.4.8 Expired	11.6 MB	`sha256:2aa7498182f296f83111ca978e8dd4d2f66509a3c9e1d2896db3bc8e585fb907`
Website HEAD Linux Agda-2.7.0 GHC-8.10.7 Expired	11.6 MB	`sha256:1f48d4fbf71215cb107f68ae3fb1215a548fc53959bdb728d8b4d3d75fb339ec`
Website HEAD Linux Agda-2.7.0 GHC-9.0.2 Expired	11.6 MB	`sha256:946b5daa9b67d7c94f1c850537c6c3d9510bbac5a2f24d75ce5a4927c498524a`
Website HEAD Linux Agda-2.7.0 GHC-9.2.8 Expired	11.6 MB	`sha256:5b563c8bff7540d423098c6d07eb3991dd46e5bf9ed20587b97a116136b3f930`
Website HEAD Linux Agda-2.7.0 GHC-9.4.8 Expired	11.6 MB	`sha256:c14186134508c812e4b5137fdeaab0fb21363a51d3cc02fb064310779d194068`
Website HEAD Linux Agda-2.7.0 GHC-9.6.6 Expired	11.6 MB	`sha256:996bc4807c9e7caf00dbcaad5d49d192a021e14495bef4f2bd8caa98fa20306a`
Website HEAD Linux Agda-2.7.0 GHC-9.8.2 Expired	11.6 MB	`sha256:914023082a7aabc80f44a6d9d4fe95389614ed1831a235cf4247b027ce851ff3`
Website HEAD Windows Agda-2.7.0 GHC-9.4.8 Expired	12.6 MB	`sha256:1c5fe3354ac3f394eb2cd685774dcd09fc5ce31ced9feefe46a7471f09114a1f`
Website HEAD macOS Agda-2.7.0 GHC-9.4.8 Expired	11.6 MB	`sha256:99817517aa12fea4751433945611761c53d82694f0f93a1b00d177218e1418be`