Try to fix CI by forcing HB version #124
Merged
Annotations
10 warnings
|
Post Run actions/checkout@v4
Failed to remove 'http.https://github.com/.extraheader' from the git config
|
|
Run coq-community/docker-coq-action@v1
Ignoring canonical projection to idfun' by MagmaMorphism.sort in
|
|
Run coq-community/docker-coq-action@v1
Ignoring canonical projection to idfun_op_morph by
|
|
Run coq-community/docker-coq-action@v1
Ignoring canonical projection to idfun_op_morph by
|
|
Run coq-community/docker-coq-action@v1
Ignoring canonical projection to idfun_op_morph by
|
|
Run coq-community/docker-coq-action@v1
This expression should have type unit but has type
|
|
Run coq-community/docker-coq-action@v1
Unused variable: x.
|
|
Run coq-community/docker-coq-action@v1
Unused variable: tac.
|
|
Run coq-community/docker-coq-action@v1
Unused variable: bad_tac.
|
|
Run coq-community/docker-coq-action@v1
Unused variable: x.
|
Loading