Actions: SnirBroshi/mathlib4
Actions
Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs
degreeLTEquiv
Run pre-commit and in-place update PR on push
#1257:
Commit cd8454d
pushed
by
SnirBroshi
degreeLTEquiv
continuous integration
#1275:
Commit cd8454d
pushed
by
SnirBroshi
setEquivPredicate -> Set.toProp
Run pre-commit and in-place update PR on push
#1254:
Commit e171ff9
pushed
by
SnirBroshi
setEquivPredicate -> Set.toProp
continuous integration
#1272:
Commit e171ff9
pushed
by
SnirBroshi
Prod instances to match Pi instances
Run pre-commit and in-place update PR on push
#1253:
Commit ecd5177
pushed
by
SnirBroshi
Prod instances to match Pi instances
continuous integration
#1271:
Commit ecd5177
pushed
by
SnirBroshi