Skip to content

Actions: leanprover/lean4-cli

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow run results
5 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

check lean4-cli build on current nightly check lean4-cli build on current nightly #542: Scheduled
November 11, 2023 14:05 47s main
main
November 11, 2023 14:05 47s
check lean4-cli build on current nightly check lean4-cli build on current nightly #541: Scheduled
November 10, 2023 14:06 29s main
main
November 10, 2023 14:06 29s
check lean4-cli build on current nightly check lean4-cli build on current nightly #540: Scheduled
November 9, 2023 14:06 47s main
main
November 9, 2023 14:06 47s
check lean4-cli build on current nightly check lean4-cli build on current nightly #539: Scheduled
November 8, 2023 14:06 30s main
main
November 8, 2023 14:06 30s
check lean4-cli build on current nightly check lean4-cli build on current nightly #538: Scheduled
November 7, 2023 14:06 39s main
main
November 7, 2023 14:06 39s