Skip to content
CI

Make style more consistent #303

Sign in to view logs

Make style more consistent

Make style more consistent #303

Triggered via push March 5, 2024 08:10
@nspinnspin
pushed 0404ca7
main
Status Success
Total duration 13m 14s
Artifacts –

push.yaml

on: push
Check licenses
15s
Check licenses
Check source
1m 39s
Check source
Run other tests
5m 9s
Run other tests
Build docs
1m 33s
Build docs
Check dependencies
4m 9s
Check dependencies
Check Kani proofs
3m 8s
Check Kani proofs
Build everything
7m 12s
Build everything
Deploy docs
23s
Deploy docs
Fit to window
Zoom out
Zoom in