The job running on runner GitHub Actions 3 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

Could not find a terminator for warning: File "./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]

Could not find a terminator for warning: File "./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]

Could not find a terminator for warning: File "./src/coqutil/Word/Properties.v", line 232, characters 70-74: Warning: twice_halfm 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]

Could not find a terminator for warning: File "./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]

Could not find a terminator for warning: File "./src/coqutil/Datatypes/OperatorOverloading.v", line 502, characters 4-48: 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]

Could not find a terminator for warning: File "./src/coqutil/Datatypes/OperatorOverloading.v", line 535, characters 4-31: 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]