Skip to content
Back to pull request #22253

Merge branch 'set_diff_lemmas' of https://github.com/leanprover-commu… #169341

Sign in to view logs

Merge branch 'set_diff_lemmas' of https://github.com/leanprover-commu…

Merge branch 'set_diff_lemmas' of https://github.com/leanprover-commu… #169341

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
43m 15s
Lint style
1m 28s
Post-CI job
9s
44m 52s