Skip to content
CI

Correcting Louis's webpage (#1033) #825

Sign in to view logs

Correcting Louis's webpage (#1033)

Correcting Louis's webpage (#1033) #825

Triggered via push September 12, 2024 17:35
@github-merge-queuegithub-merge-queue[bot]
pushed 0df905f
dev
Status Success
Total duration 31m 56s
Artifacts 9

ci.yml

on: push
Matrix: build
Publish to GitHub Pages
26s
Publish to GitHub Pages
Publish to GitHub Releases
0s
Publish to GitHub Releases
Fit to window
Zoom out
Zoom in

Annotations

138 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
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, wenkokke/setup-agda@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 with newer GHC 9.6.6: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with newer GHC 9.6.6: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with newer GHC 9.6.6: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
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
macOS's Gatekeeper has been disabled for this Cask
Build on macOS
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, wenkokke/setup-agda@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 on macOS: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on macOS: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on macOS: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
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
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, wenkokke/setup-agda@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 with newer GHC 9.8.2: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with newer GHC 9.8.2: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with newer GHC 9.8.2: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
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
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, wenkokke/setup-agda@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build with older GHC 9.2.8: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with older GHC 9.2.8: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with older GHC 9.2.8: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
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 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
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, wenkokke/setup-agda@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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 Agda 2.6.4.3: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with older Agda 2.6.4.3: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with older Agda 2.6.4.3: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
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
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, wenkokke/setup-agda@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build on Linux: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on Linux: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on Linux: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
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 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
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, wenkokke/setup-agda@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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
Build on Windows: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on Windows: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build on Windows: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
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
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, wenkokke/setup-agda@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build with older GHC 8.10.7: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with older GHC 8.10.7: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with older GHC 8.10.7: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
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 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
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, wenkokke/setup-agda@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Build with older GHC 9.0.2: tools/Buildfile/Script.hs#L30
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with older GHC 9.0.2: tools/Buildfile/Script.hs#L31
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
Build with older GHC 9.0.2: tools/Buildfile/Stylesheet.hs#L32
In the use of ‘routeUrl’ (imported from Shoggoth.Routing):
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
Publish to GitHub Pages
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size
Website HEAD Linux Agda-2.6.4.3 GHC-9.4.8
4.79 MB
Website HEAD Linux Agda-2.7.0 GHC-8.10.7
4.79 MB
Website HEAD Linux Agda-2.7.0 GHC-9.0.2
4.79 MB
Website HEAD Linux Agda-2.7.0 GHC-9.2.8
4.79 MB
Website HEAD Linux Agda-2.7.0 GHC-9.4.8
4.79 MB
Website HEAD Linux Agda-2.7.0 GHC-9.6.6
4.79 MB
Website HEAD Linux Agda-2.7.0 GHC-9.8.2
4.79 MB
Website HEAD Windows Agda-2.7.0 GHC-9.4.8
8.87 MB
Website HEAD macOS Agda-2.7.0 GHC-9.4.8
4.76 MB