Skip to content
CI

Address warnings #294

Sign in to view logs

Address warnings

Address warnings #294

Triggered via push February 29, 2024 08:32
@nspinnspin
pushed 13ade5e
main
Status Success
Total duration 11m 31s
Artifacts –

push.yaml

on: push
Check licenses
18s
Check licenses
Check source
1m 39s
Check source
Run other tests
3m 32s
Run other tests
Build docs
1m 18s
Build docs
Check dependencies
4m 2s
Check dependencies
Check Kani proofs
3m 9s
Check Kani proofs
Build everything
6m 57s
Build everything
Deploy docs
30s
Deploy docs
Fit to window
Zoom out
Zoom in