Skip to content
CI

Fix release mode warnings and compile errors #355

Sign in to view logs

Fix release mode warnings and compile errors

Fix release mode warnings and compile errors #355

Triggered via pull request April 3, 2024 04:19
@Ivan-VelickovicIvan-Velickovic
synchronize #121
Ivan-Velickovic:release_mode
Status Success
Total duration 1h 33m 4s
Artifacts –

push.yaml

on: pull_request
Check licenses
13s
Check licenses
Check source
1m 42s
Check source
Run other tests
25m 26s
Run other tests
Build docs
8m 50s
Build docs
Check dependencies
2m 7s
Check dependencies
Check Kani proofs
3m 43s
Check Kani proofs
Build everything
1h 7m
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Check source
No push credentials found. Ignoring the 'useDaemon' option.
Check dependencies
No push credentials found. Ignoring the 'useDaemon' option.
Build docs
No push credentials found. Ignoring the 'useDaemon' option.
Run other tests
No push credentials found. Ignoring the 'useDaemon' option.
Build everything
No push credentials found. Ignoring the 'useDaemon' option.