Skip to content
CI

proof generation #61

Sign in to view logs

proof generation

proof generation #61

Triggered via pull request December 10, 2024 13:17
@pdtfhpdtfh
synchronize #16
proof
Status Success
Total duration 12m 20s
Artifacts –

ci.yml

on: pull_request
Format, Clippy & Build
9m 49s
Format, Clippy & Build
Test Swift Build
12m 10s
Test Swift Build
Tests
6m 36s
Tests
Cargo deny
53s
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
Tests
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