Skip to content
CI

proof generation #66

Sign in to view logs

proof generation

proof generation #66

Triggered via pull request December 11, 2024 18:16
@pdtfhpdtfh
synchronize #16
proof
Status Success
Total duration 3m 14s
Artifacts –

ci.yml

on: pull_request
Format, Clippy & Build
1m 54s
Format, Clippy & Build
Test Swift Build
3m 5s
Test Swift Build
Tests
2m 23s
Tests
Cargo deny
54s
Cargo deny
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Cargo deny
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Format, Clippy & Build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636