Skip to content
CI

🎉 starCases, replace StarCat by Mathlib.Logic.Relation.ReflTransGen #23

Sign in to view logs

🎉 starCases, replace StarCat by Mathlib.Logic.Relation.ReflTransGen

🎉 starCases, replace StarCat by Mathlib.Logic.Relation.ReflTransGen #23

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
1m 39s
Stats
8s
1m 47s