Skip to content

x64 crefine: proof update after change to C #2772

x64 crefine: proof update after change to C

x64 crefine: proof update after change to C #2772

Triggered via pull request December 3, 2024 05:23
Status Success
Total duration 48s
Artifacts

pr.yml

on: pull_request
Gitlint
34s
Gitlint
Trailing Whitespace
28s
Trailing Whitespace
Portable Shell
26s
Portable Shell
Style
38s
Style
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Portable Shell
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Trailing Whitespace
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Gitlint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Style
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636