Actions: leanprover/lean4
Actions
6,954 workflow run results
6,954 workflow run results
computeSynthOrder
Label PR based on Comment
#6893:
Issue comment #5398 (comment)
created
by
jcommelin
List.IsPrefix
Label PR based on Comment
#6892:
Issue comment #5448 (comment)
created
by
Command-Master
List.IsPrefix
Label PR based on Comment
#6890:
Issue comment #5448 (comment)
created
by
kim-em
.attach
insertion
Label PR based on Comment
#6884:
Issue comment #5471 (comment)
created
by
kim-em