Skip to content
Deploy

Install creusot-rustc in a toolchain-dependent location (#1314) #44

Sign in to view logs

Install creusot-rustc in a toolchain-dependent location (#1314)

Install creusot-rustc in a toolchain-dependent location (#1314) #44

Triggered via push January 23, 2025 09:40
@jhjourdanjhjourdan
pushed cd07924
master
Status Failure
Total duration 1m 9s
Artifacts 1

deploy.yml

on: push
build-guide
5s
build-guide
build-docs
58s
build-docs
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
build-docs
Process completed with exit code 1.
build-guide
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-docs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
guide
1.28 MB