Skip to content
Rust CI

Define initial state for Phase C5 formal model #116

Sign in to view logs

Define initial state for Phase C5 formal model

Define initial state for Phase C5 formal model #116

Triggered via push January 8, 2026 17:29
@iamfurydammitiamfurydammit
pushed 5f29f35
main
Status Success
Total duration 24s
Artifacts –

ci.yml

on: push
build
21s
build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
build
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
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
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
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/