Skip to content
Build

Support Coq 8.20 (#258) #682

Sign in to view logs

Support Coq 8.20 (#258)

Support Coq 8.20 (#258) #682

Triggered via push January 21, 2025 13:57
@4ever24ever2
pushed 606294e
master
Status Success
Total duration 49m 0s
Artifacts 2

build.yml

on: push
build
46m 36s
build
test
2m 8s
test
deploy-docs
8s
deploy-docs
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
deploy-docs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
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
github-pages Expired
4.45 MB