Skip to content

Actions: argumentcomputer/Cli.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from lurk-lab/revert-5-acs/lean-v4.4.0 build lean4-cli #30: Commit 5eea4eb pushed by arthurpaulino
February 19, 2024 14:41 1m 5s main
main
February 19, 2024 14:41 1m 5s
Revert "chore: Update lean-toolchain to 4.4.0" build lean4-cli #29: Pull request #6 opened by arthurpaulino
February 19, 2024 14:40 1m 5s revert-5-acs/lean-v4.4.0
revert-5-acs/lean-v4.4.0
February 19, 2024 14:40 1m 5s
Revert "chore: Update lean-toolchain to 4.4.0" build lean4-cli #28: Commit 8d53216 pushed by arthurpaulino
February 19, 2024 14:40 57s revert-5-acs/lean-v4.4.0
revert-5-acs/lean-v4.4.0
February 19, 2024 14:40 57s
Merge pull request #5 from Anderssorby/acs/lean-v4.4.0 build lean4-cli #27: Commit f6efe9d pushed by arthurpaulino
February 19, 2024 14:37 34s main
main
February 19, 2024 14:37 34s
chore: Update lean-toolchain to 4.4.0 build lean4-cli #26: Pull request #5 synchronize by Anderssorby
December 26, 2023 09:00 1m 9s Anderssorby:acs/lean-v4.4.0
Anderssorby:acs/lean-v4.4.0
December 26, 2023 09:00 1m 9s