coqPackages: allow one level of introspection before applying __attrsFailEvaluation #73195
Triggered via pull request
July 4, 2024 21:05
philiptaron
philiptaron
synchronize
#324675
Status
Success
Total duration
24s
Artifacts
–