Remove tactic param in favor of trocq #10
Merged
Annotations
1 error and 3 warnings
|
Git checkout
no submodule mapping found in .gitmodules for path 'artifact-clean/coq-elpi'
|
|
Post Git checkout
The process '/usr/bin/git' failed with exit code 128
|
|
Git checkout
Unable to clean or reset the repository. The repository will be recreated instead.
|
|
Post Cachix setup coq
The process '/usr/bin/git' failed with exit code 128
|
The logs for this run have expired and are no longer available.
Loading