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