[refactor] instance declaration #149
Triggered via pull request
November 30, 2023 14:56
CohenCyril
synchronize
#376
Status
Success
Total duration
8m 19s
Artifacts
–
nix-action-coq-master.yml
on: pull_request_target