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