Could not find a terminator for warning: File "/home/runner/work/coqutil/coqutil/src/coqutil/Datatypes/RecordSetters.v", line 416, characters 38-71: Warning: This expression should have type unit but has type bool. [not-unit,ltac2,default]

This expression should have type unit but has type

Could not find a terminator for warning: File "/home/runner/work/coqutil/coqutil/src/coqutil/Datatypes/RecordSettersUsingExistingGetters.v", line 368, characters 38-71: Warning: This expression should have type unit but has type bool. [not-unit,ltac2,default]

This expression should have type unit but has type

Could not find a terminator for warning: File "/home/runner/work/coqutil/coqutil/src/coqutil/Tactics/SafeSimpl.v", line 19, characters 0-52: Warning: This inductive will be minimized to Set even though Universe Minimization ToSet is unset. This will change in a future version. [bad-set-minimization,deprecated-since-8.18,deprecated,default]

This inductive will be minimized to Set even though Universe

Could not find a terminator for warning: File "/home/runner/work/coqutil/coqutil/src/coqutil/Word/Properties.v", line 61, characters 63-67: Warning: width_nonneg_context is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default]

width_nonneg_context is declared opaque (Qed) but this is not fully

Could not find a terminator for warning: File "/home/runner/work/coqutil/coqutil/src/coqutil/Word/Properties.v", line 228, characters 52-56: Warning: width_nonzero is declared opaque (Qed) but this is not fully respected inside the section and not at all outside the section. Use attribute #[clearbody] to get the current behaviour of clearing the body at the start of proofs in a forward compatible way. [opaque-let,deprecated-since-8.18,deprecated,default]