Skip to content
CI (Coq)

Add boolean facts and rewrite base #357

Sign in to view logs

Add boolean facts and rewrite base

Add boolean facts and rewrite base #357

Triggered via pull request December 15, 2023 19:54
@DIJamnerDIJamner
synchronize #108
pyrosome_utils
Status Success
Total duration 1m 25s
Artifacts –

coq.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
master
Could not find a terminator for warning: File "./src/coqutil/Datatypes/RecordSetters.v", line 410, characters 38-71: Warning: This expression should have type unit but has type bool. [not-unit,ltac2,default]
master
Could not find a terminator for warning: File "./src/coqutil/Datatypes/RecordSettersUsingExistingGetters.v", line 361, characters 38-71: Warning: This expression should have type unit but has type bool. [not-unit,ltac2,default]