Skip to content
ci

removed input from proof output (#76) #264

Sign in to view logs

removed input from proof output (#76)

removed input from proof output (#76) #264

Triggered via push January 9, 2025 10:18
@chudkowskychudkowsky
pushed f68ead4
main
Status Success
Total duration 16m 26s
Billable time 17m
Artifacts –

ci.yml

on: push
fmt
11s
fmt
clippy
1m 14s
clippy
build
1m 47s
build
test
16m 17s
test
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
fmt
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
clippy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636