Adapt to coq/coq#19620 (Global.push_context_set no strict argument) #45
Triggered via pull request
October 1, 2024 14:04
SkySkimmer
opened
#696
Status
Failure
Total duration
3m 9s
Artifacts
–
nix-action-coq-8.20.yml
on: pull_request_target
coq
52s
interval
0s
mathcomp-analysis
0s
coqeal
0s
odd-order
0s
Annotations
1 error
coq-elpi
Process completed with exit code 1.
|