Merge pull request #252 from Agda-zh/merge-upstream #253
OlingCatci.yml
on: push
Matrix: build
Publish to GitHub Pages
27s
Publish to GitHub Releases
0s
Annotations
38 warnings
|
Build on Linux
Cache not found for keys: setup-ruby-bundler-cache-v6-ubuntu-24.04-x64-ruby-3.2.1-wd-/home/runner/work/PLFA-zh/PLFA-zh-with--without--only--Gemfile.lock-23c556975944d32719720724e9ddbe79452aeab49a8b936a8978014c5b7cd153, setup-ruby-bundler-cache-v6-ubuntu-24.04-x64-ruby-3.2.1-wd-/home/runner/work/PLFA-zh/PLFA-zh-with--without--only--Gemfile.lock-
|
|
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
Cache not found for keys: build-Linux-
|
|
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 Linux
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
|
|
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#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
Cache not found for keys: build-Linux-
|
|
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#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
Cache not found for keys: build-Windows-
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Website HEAD Linux Agda-2.7.0 GHC-9.4.8
|
11.5 MB |
|
|
Website HEAD Linux Agda-2.7.0 GHC-9.8.2
|
11.5 MB |
|
|
Website HEAD Windows Agda-2.7.0 GHC-9.4.8
|
12.6 MB |
|