Skip to content
Rust

Merge pull request #1272 from arnaudgolfouse/document-creusot_contracts #4381

Sign in to view logs

Merge pull request #1272 from arnaudgolfouse/document-creusot_contracts

Merge pull request #1272 from arnaudgolfouse/document-creusot_contracts #4381

Triggered via push December 2, 2024 09:47
@arnaudgolfousearnaudgolfouse
pushed 7fbb07d
master
Status Success
Total duration 4m 30s
Artifacts –

rust.yml

on: push
fmt
40s
fmt
contracts-build
43s
contracts-build
build
3m 48s
build
why3
4m 19s
why3
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
contracts-build
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use the latest version of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-09-16-notice-of-upcoming-deprecations-and-changes-in-github-actions-services/
build
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use the latest version of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-09-16-notice-of-upcoming-deprecations-and-changes-in-github-actions-services/
why3
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use the latest version of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-09-16-notice-of-upcoming-deprecations-and-changes-in-github-actions-services/