Skip to content

Add probabilistic reasoning #112

Add probabilistic reasoning

Add probabilistic reasoning #112

Triggered via pull request October 9, 2023 04:22
Status Failure
Total duration 32m 3s
Artifacts

agda.yaml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 7 warnings
build (v2.6.3, fc473ec905ab1a11a16718a7e8b628f1ab7eb435, 8.10.2, 3.4.0.0)
Process completed with exit code 42.
build (v2.6.3, fc473ec905ab1a11a16718a7e8b628f1ab7eb435, 8.10.2, 3.4.0.0)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, actions/[email protected], actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (v2.6.3, fc473ec905ab1a11a16718a7e8b628f1ab7eb435, 8.10.2, 3.4.0.0)
ghc 8.10.2 was not found in the cache. It will be downloaded. If this is unexpected, please check if version 8.10.2 is pre-installed. The list of pre-installed versions is available here: https://help.github.com/en/actions/reference/software-installed-on-github-hosted-runners The above list follows a common haskell convention that the three latest major releases of ghc are commonly supported. If the list is outdated, please file an issue here: https://github.com/actions/virtual-environments by using the appropriate tool request template: https://github.com/actions/virtual-environments/issues/new/choose
build (v2.6.3, fc473ec905ab1a11a16718a7e8b628f1ab7eb435, 8.10.2, 3.4.0.0)
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 (v2.6.3, fc473ec905ab1a11a16718a7e8b628f1ab7eb435, 8.10.2, 3.4.0.0)
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 (v2.6.3, fc473ec905ab1a11a16718a7e8b628f1ab7eb435, 8.10.2, 3.4.0.0)
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 (v2.6.3, fc473ec905ab1a11a16718a7e8b628f1ab7eb435, 8.10.2, 3.4.0.0)
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 (v2.6.3, fc473ec905ab1a11a16718a7e8b628f1ab7eb435, 8.10.2, 3.4.0.0)
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/