Skip to content
CI

Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 #212

Sign in to view logs

Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9

Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 #212

Triggered via pull request November 11, 2024 05:58
@dependabotdependabot[bot]
opened #235
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
Status Success
Total duration 37m 59s
Artifacts 3

ci.yml

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

Annotations

46 warnings
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#L244
Prefer to use the native <ul> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build with newer GHC 9.8.2: _site/Contributing/index.html#L43
Prefer to use the native <ul> element
Build with newer GHC 9.8.2: _site/Contributing/index.html#L43
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/Book.hs#L77
In the use of ‘tail’
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 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#L244
Prefer to use the native <ul> element
Build on Linux: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L244
Prefer to use the native <li> element
Build on Linux: _site/Contributing/index.html#L43
Prefer to use the native <ul> element
Build on Linux: _site/Contributing/index.html#L43
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#L487
Prefer to use the native <ul> element
Build on Windows: _site/Confluence/index.html#L487
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L487
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L487
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L487
Prefer to use the native <li> element
Build on Windows: _site/Contributing/index.html#L43
Prefer to use the native <ul> element
Build on Windows: _site/Contributing/index.html#L43
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):

Artifacts

Produced during runtime
Name Size
Website HEAD Linux Agda-2.7.0 GHC-9.4.8
4.66 MB
Website HEAD Linux Agda-2.7.0 GHC-9.8.2
4.66 MB
Website HEAD Windows Agda-2.7.0 GHC-9.4.8
8.75 MB