Update coq-nix-toolbox. #78
Triggered via pull request
December 16, 2025 13:04
arthuraa
Status
Success
Total duration
1h 29m 1s
Artifacts
–
nix-action-8.20.yml
on: pull_request
coq
39s
graph-theory
4m 12s
coqeal
4m 6s
ssprove
31m 31s
mathcomp-infotheo
33m 10s