Commit 83d0fad

authored

Merge pull request #94 from proux01/test-error-reporting

[CI] Fix

2 parents 047ece6 + 6b48021 commit 83d0fadCopy full SHA for 83d0fad

3 files changed

+231

-231

lines changed

.github/workflows
- nix-action-coq-9.0.yml
- nix-action-coq-master.yml
.nix
- coq-nix-toolbox.nix

3 files changed

+231

-231

lines changed

Comments

(0)