Skip to content

Actions: leanprover-community/lean-auto

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
277 workflow runs
277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Modifying the conditions in which ci workflow is run ci #2: Commit af727b0 pushed by JOSHCLUNE
December 15, 2023 03:24 3s duper
duper
December 15, 2023 03:24 3s
Adding .github/workflows/build.yml ci #1: Commit 77d9f3f pushed by JOSHCLUNE
December 15, 2023 02:51 11m 0s duper
duper
December 15, 2023 02:51 11m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-12-15 or the other filters available.