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