Actions: opencompl/lean4
Actions
35 workflow runs
35 workflow runs
#version
command (#5768)
Actionlint
#34:
Commit 682173d
pushed
by
tobiasgrosser
MessageData.tagged
to mark maxHeartbeat exceptions (#5566)
Actionlint
#33:
Commit b814be6
pushed
by
bollu
List.toArray
(#5472)
Actionlint
#32:
Commit 5dea30f
pushed
by
bollu
groupBy.loop
(#5349)
Actionlint
#25:
Commit 078e9b6
pushed
by
tobiasgrosser