Skip to content
CI

Update dependency commits in docs #379

Sign in to view logs

Update dependency commits in docs

Update dependency commits in docs #379

Triggered via push May 1, 2024 23:30
@nspinnspin
pushed 71665ab
main
Status Success
Total duration 11m 18s
Artifacts –

push.yaml

on: push
Check licenses
16s
Check licenses
Check source
1m 40s
Check source
Run other tests
5m 28s
Run other tests
Build docs
1m 30s
Build docs
Check dependencies
2m 28s
Check dependencies
Check Kani proofs
3m 1s
Check Kani proofs
Build everything
4m 57s
Build everything
Deploy docs
28s
Deploy docs
Fit to window
Zoom out
Zoom in