Skip to content
CI

CI #1306

Sign in to view logs

CI

CI #1306

Triggered via schedule June 8, 2024 11:15
@tchajedtchajed
⁠ 3dec4d5
main
Status Success
Total duration 18m 48s
Artifacts –

build.yml

on: schedule
build (released iris, latest coq)
17m 31s
build (released iris, latest coq)
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build (dev): src/lang.v#L4
Notations "WP _ @ _ ; _ {{ _ } }" defined at level 20 with arguments
build (dev): src/lang.v#L4
Notations "WP _ @ _ {{ _ } }" defined at level 20 with arguments
build (dev): src/lang.v#L4
Notations "WP _ @ _ ? {{ _ } }" defined at level 20 with arguments
build (dev): src/lang.v#L4
Notations "WP _ {{ _ } }" defined at level 20 with arguments constr
build (dev): src/lang.v#L4
Notations "WP _ ? {{ _ } }" defined at level 20 with arguments
build (dev): src/lang.v#L4
Notations "WP _ @ _ ; _ [{ _ } ]" defined at level 20 with arguments
build (dev): src/lang.v#L4
Notations "WP _ @ _ [{ _ } ]" defined at level 20 with arguments
build (dev): src/lang.v#L4
Notations "WP _ @ _ ? [{ _ } ]" defined at level 20 with arguments
build (dev): src/lang.v#L4
Notations "WP _ [{ _ } ]" defined at level 20 with arguments constr
build (dev): src/lang.v#L4
Notations "WP _ ? [{ _ } ]" defined at level 20 with arguments