Skip to content
CI

adding Eval for 15 Nov lecture #581

Sign in to view logs

adding Eval for 15 Nov lecture

adding Eval for 15 Nov lecture #581

Triggered via pull request November 15, 2023 07:58
@wadlerwadler
opened #937
tspl-2023-11-15
Status Success
Total duration 30m 17s
Artifacts 11

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

132 warnings
Build with older GHC 8.10.7
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
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: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build with older GHC 8.10.7: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older GHC 8.10.7: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older GHC 8.10.7: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older GHC 8.10.7: _site/Confluence/index.html#L247
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#L516
Prefer to use the native <ul> element
Build with older GHC 8.10.7: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with older GHC 8.10.7: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with older GHC 9.0.2
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
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: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build with older GHC 9.0.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older GHC 9.0.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older GHC 9.0.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older GHC 9.0.2: _site/Confluence/index.html#L247
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#L516
Prefer to use the native <ul> element
Build with older GHC 9.0.2: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with older GHC 9.0.2: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with newer GHC 9.4.5
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
Build with newer GHC 9.4.5
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.4.5: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build with newer GHC 9.4.5: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.4.5: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.4.5: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.4.5: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.4.5: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with newer GHC 9.4.5: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with newer GHC 9.4.5: _site/Denotational/index.html#L516
Prefer to use the native <ul> element
Build with newer GHC 9.4.5: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with newer GHC 9.4.5: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with newer GHC 9.6.2
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
Build with newer GHC 9.6.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.2: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build with newer GHC 9.6.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with newer GHC 9.6.2: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with newer GHC 9.6.2: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with newer GHC 9.6.2: _site/Denotational/index.html#L516
Prefer to use the native <ul> element
Build with newer GHC 9.6.2: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with newer GHC 9.6.2: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with older Agda 2.6.1.3
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
Build with older Agda 2.6.1.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.1.3: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build with older Agda 2.6.1.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.1.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.1.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.1.3: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.1.3: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with older Agda 2.6.1.3: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with older Agda 2.6.1.3: _site/Denotational/index.html#L516
Prefer to use the native <ul> element
Build with older Agda 2.6.1.3: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with older Agda 2.6.1.3: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with older Agda 2.6.2.2
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
Build with older Agda 2.6.2.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 Agda 2.6.2.2: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build with older Agda 2.6.2.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2.2: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with older Agda 2.6.2.2: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with older Agda 2.6.2.2: _site/Denotational/index.html#L516
Prefer to use the native <ul> element
Build with older Agda 2.6.2.2: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with older Agda 2.6.2.2: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with older Agda 2.6.2.1
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
Build with older Agda 2.6.2.1
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.2.1: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build with older Agda 2.6.2.1: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2.1: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2.1: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2.1: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2.1: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with older Agda 2.6.2.1: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with older Agda 2.6.2.1: _site/Denotational/index.html#L516
Prefer to use the native <ul> element
Build with older Agda 2.6.2.1: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with older Agda 2.6.2.1: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with older Agda 2.6.2
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
Build with older Agda 2.6.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 Agda 2.6.2: _site/Confluence/index.html#L247
Prefer to use the native <ul> element
Build with older Agda 2.6.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2: _site/Confluence/index.html#L247
Prefer to use the native <li> element
Build with older Agda 2.6.2: _site/Contributing/index.html#L46
Prefer to use the native <ul> element
Build with older Agda 2.6.2: _site/Contributing/index.html#L46
Prefer to use the native <li> element
Build with older Agda 2.6.2: _site/Denotational/index.html#L516
Prefer to use the native <ul> element
Build with older Agda 2.6.2: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build with older Agda 2.6.2: _site/Denotational/index.html#L516
Prefer to use the native <li> element
Build on Windows
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
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#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#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#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 Linux
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
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: _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#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#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 on macOS
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
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: _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#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#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

Artifacts

Produced during runtime
Name Size
Website HEAD Linux Agda-2.6.1.3 GHC-9.2.7 Expired
20.8 MB
Website HEAD Linux Agda-2.6.2 GHC-9.2.7 Expired
20.8 MB
Website HEAD Linux Agda-2.6.2.1 GHC-9.2.7 Expired
20.8 MB
Website HEAD Linux Agda-2.6.2.2 GHC-9.2.7 Expired
20.8 MB
Website HEAD Linux Agda-2.6.3 GHC-8.10.7 Expired
20.8 MB
Website HEAD Linux Agda-2.6.3 GHC-9.0.2 Expired
20.8 MB
Website HEAD Linux Agda-2.6.3 GHC-9.2.7 Expired
20.8 MB
Website HEAD Linux Agda-2.6.3 GHC-9.4.5 Expired
20.8 MB
Website HEAD Linux Agda-2.6.3 GHC-9.6.2 Expired
20.8 MB
Website HEAD Windows Agda-2.6.3 GHC-9.2.7 Expired
25.2 MB
Website HEAD macOS Agda-2.6.3 GHC-9.2.7 Expired
20.8 MB