Skip to content
Backport

coqPackages: allow one level of introspection before applying __attrsFailEvaluation #845981

Sign in to view logs

coqPackages: allow one level of introspection before applying __attrsFailEvaluation

coqPackages: allow one level of introspection before applying __attrsFailEvaluation #845981

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Backport Pull Request
0s
0s