Skip to content

Actions: argumentcomputer/Megaparsec.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Use Lean v4.4.0 LSpec CI #47: Pull request #57 synchronize by Anderssorby
December 26, 2023 08:46 1m 34s Anderssorby:acs/lean-v4.4.0
Anderssorby:acs/lean-v4.4.0
December 26, 2023 08:46 1m 34s
Merge pull request #56 from JamesGallicchio/bump-toolchain LSpec CI #45: Commit 8fe9efe pushed by arthurpaulino
September 12, 2023 11:32 2m 1s main
main
September 12, 2023 11:32 2m 1s
Bump toolchain LSpec CI #44: Pull request #56 synchronize by JamesGallicchio
September 12, 2023 11:26 2m 1s JamesGallicchio:bump-toolchain
JamesGallicchio:bump-toolchain
September 12, 2023 11:26 2m 1s
Bump toolchain LSpec CI #43: Pull request #56 synchronize by JamesGallicchio
September 12, 2023 11:18 2m 15s JamesGallicchio:bump-toolchain
JamesGallicchio:bump-toolchain
September 12, 2023 11:18 2m 15s