Skip to content

Merge pull request #681 from pq-code-package/cbmc_results #13

Merge pull request #681 from pq-code-package/cbmc_results

Merge pull request #681 from pq-code-package/cbmc_results #13

Triggered via push January 22, 2025 11:56
Status Success
Total duration 15s
Artifacts
Check META.yml source list
3s
Check META.yml source list
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check META.yml source list
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636