Actions: leanprover-community/mathlib4
Actions
Showing runs from all workflows
756,436 workflow run results
756,436 workflow run results
@[simp]
attributes lost in the port
Autolabel PRs
#1353:
Pull request #18076
opened
by
Vierkantor
@[simp]
attributes lost in the port
Label New Contributors
#39681:
Pull request #18076
opened
by
Vierkantor
ℵ_
and ℶ_
notation
bot fix style (comment)
#8036:
Issue comment #18066 (comment)
created
by
riccardobrasca
ℵ_
and ℶ_
notation
Label PR based on Comment
#41704:
Issue comment #18066 (comment)
created
by
riccardobrasca
ℵ_
and ℶ_
notation
Maintainer merge (comment)
#66398:
Issue comment #18066 (comment)
created
by
riccardobrasca
ℵ_
and ℶ_
notation
Add "ready-to-merge" and "delegated" label from comment
#61014:
Issue comment #18066 (comment)
created
by
riccardobrasca
@[simp]
attributes lost in the port
continuous integration (mathlib forks)
#142910:
Commit 6196fdf
pushed
by
Vierkantor