derive: param1 support for is_true and primitive strings #115
garesnix-action-rocq-9.0.yml
on: pull_request_target
coq
1m 6s
coq-elpi-tests-stdlib
0s
mathcomp-experimental-reals
0s
odd-order
0s
Annotations
6 errors
|
|
|
stdlib
The operation was canceled.
|
|
|
|
coq-elpi
The operation was canceled.
|
|
coq-elpi-tests
The run was canceled by @gares.
|
|
coq-elpi-tests
The operation was canceled.
|