[TC] premise not run if rigid solution #293
garesnix-action-coq-master.yml
on: pull_request_target
Annotations
6 errors
|
mathcomp-classical
The run was canceled by @gares.
|
|
mathcomp-classical
The operation was canceled.
|
|
mathcomp-solvable
The run was canceled by @gares.
|
|
mathcomp-solvable
The operation was canceled.
|
|
multinomials
The run was canceled by @gares.
|
|
multinomials
The operation was canceled.
|