CI #3018
Annotations
10 warnings
|
external/iris/iris/prelude/options.v#L17
Could not enable unknown warning deprecated-hint-without-locality
|
|
external/coqutil/src/coqutil/Word/Properties.v#L61
width_nonneg_context is declared opaque (Qed) but this is not fully
|
|
external/coqutil/src/coqutil/Word/Properties.v#L228
width_nonzero is declared opaque (Qed) but this is not fully
|
|
external/coqutil/src/coqutil/Word/Properties.v#L232
twice_halfm is declared opaque (Qed) but this is not fully respected
|
|
src/goose_lang/lib/waitgroup/waitgroup.v#L40
This inductive will be minimized to Set even though Universe
|
|
src/goose_lang/lib/waitgroup/waitgroup.v#L51
This inductive will be minimized to Set even though Universe
|
|
src/goose_lang/spec_assert.v#L42
This inductive will be minimized to Set even though Universe
|
|
src/goose_lang/lib/barrier/barrier.v#L12
This inductive will be minimized to Set even though Universe
|
|
src/goose_lang/ffi/async_disk.v#L45
This inductive will be minimized to Set even though Universe
|
|
src/goose_lang/ffi/async_disk_proph.v#L53
This inductive will be minimized to Set even though Universe
|
The logs for this run have expired and are no longer available.
Loading