Skip to content
CI

Merge pull request #178 from Agda-zh/uni-term #72

Sign in to view logs

Merge pull request #178 from Agda-zh/uni-term

Merge pull request #178 from Agda-zh/uni-term #72

Triggered via push March 2, 2024 20:25
@OlingCatOlingCat
pushed 810ab77
dev
Status Success
Total duration 21m 59s
Artifacts 4

ci.yml

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

Annotations

49 warnings
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
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: haskell-actions/setup@v2, actions/cache@v3, wenkokke/setup-agda@latest, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build on Linux: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build on Linux: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build on Linux: _site/Confluence/index.html#L247
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#L516
Prefer to use the native <ul> element
Build on Linux: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build on Linux: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with newer GHC 9.6.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 newer GHC 9.6.3
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: haskell-actions/setup@v2, actions/cache@v3, wenkokke/setup-agda@latest, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build with newer GHC 9.6.3: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build with newer GHC 9.6.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Contributing/index.html#L43
Prefer to use the native <ul> element
Build with newer GHC 9.6.3: _site/Contributing/index.html#L43
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Denotational/index.html#L516
Prefer to use the native <ul> element
Build with newer GHC 9.6.3: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with newer GHC 9.6.3: _site/Denotational/index.html#L516
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
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: haskell-actions/setup@v2, actions/cache@v3, wenkokke/setup-agda@latest, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build on Windows: _site/Confluence/index.html#L493
Prefer to use the native <ul> element
Build on Windows: _site/Confluence/index.html#L493
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L493
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L493
Prefer to use the native <li> element
Build on Windows: _site/Confluence/index.html#L493
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#L1031
Prefer to use the native <ul> element
Build on Windows: _site/Denotational/index.html#L1031
Prefer to use the native <li> element
Build on Windows: _site/Denotational/index.html#L1031
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
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: haskell-actions/setup@v2, actions/cache@v3, wenkokke/setup-agda@latest, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build on macOS: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build on macOS: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build on macOS: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build on macOS: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build on macOS: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build on macOS: _site/Contributing/index.html#L43
Prefer to use the native <ul> element
Build on macOS: _site/Contributing/index.html#L43
Prefer to use the native <li> element
Build on macOS: _site/Denotational/index.html#L516
Prefer to use the native <ul> element
Build on macOS: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build on macOS: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Publish to GitHub Pages
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime
Name Size
Website HEAD Linux Agda-2.6.3 GHC-9.4.8 Expired
3.96 MB
Website HEAD Linux Agda-2.6.3 GHC-9.6.3 Expired
3.96 MB
Website HEAD Windows Agda-2.6.3 GHC-9.4.8 Expired
8.05 MB
Website HEAD macOS Agda-2.6.3 GHC-9.4.8 Expired
3.93 MB