Skip to content
Build

Support Coq 8.20 #681

Sign in to view logs

Support Coq 8.20

Support Coq 8.20 #681

Triggered via pull request January 21, 2025 11:29
@4ever24ever2
synchronize #258
4ever2:coq20
Status Success
Total duration 14m 18s
Artifacts 1

build.yml

on: pull_request
build
11m 46s
build
test
2m 18s
test
deploy-docs
0s
deploy-docs
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test
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/
test
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/
test
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/
test
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/

Artifacts

Produced during runtime
Name Size
extraction-results Expired
122 KB