Skip to content

irq_control_get_trigger: change trigger to bool #480

irq_control_get_trigger: change trigger to bool

irq_control_get_trigger: change trigger to bool #480

Triggered via pull request July 16, 2024 23:45
Status Failure
Total duration 8m 57s
Artifacts

push.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 5 warnings
Run other tests
Process completed with exit code 2.
Check source
No push credentials found. Ignoring the 'useDaemon' option.
Check dependencies
No push credentials found. Ignoring the 'useDaemon' option.
Check Kani proofs
No push credentials found. Ignoring the 'useDaemon' option.
Run other tests
No push credentials found. Ignoring the 'useDaemon' option.
Build docs
No push credentials found. Ignoring the 'useDaemon' option.