Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
478 workflow runs
478 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Establish initial structure CI #3: Commit 9e6c9a7 pushed by david-christiansen
February 28, 2024 13:10 21s main
main
February 28, 2024 13:10 21s
feat: initial commit CI #2: Commit 304dc71 pushed by david-christiansen
February 28, 2024 13:00 19s main
main
February 28, 2024 13:00 19s
feat: initial commit CI #1: Commit 304dc71 pushed by david-christiansen
February 28, 2024 13:00 20s master
master
February 28, 2024 13:00 20s
ProTip! You can narrow down the results and go further in time using created:<2024-02-28 or the other filters available.