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