Skip to content

Actions: leanprover/SHerLOC

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sketching operations CI #12: Pull request #5 synchronize by jtristan
August 20, 2024 14:52 27s Operations
Operations
August 20, 2024 14:52 27s
Sketching operations CI #11: Pull request #5 synchronize by jtristan
August 20, 2024 13:59 22s Operations
Operations
August 20, 2024 13:59 22s
Sketching operations CI #10: Pull request #5 synchronize by jtristan
August 20, 2024 13:58 33s Operations
Operations
August 20, 2024 13:58 33s
Sketching operations CI #9: Pull request #5 opened by jtristan
August 19, 2024 22:28 30s Operations
Operations
August 19, 2024 22:28 30s
Some constants (#4) CI #8: Commit 729d01c pushed by jtristan
August 19, 2024 20:25 20s main
main
August 19, 2024 20:25 20s
Some constants CI #7: Pull request #4 opened by jtristan
August 19, 2024 20:25 23s Constants
Constants
August 19, 2024 20:25 23s
Identifiers (#3) CI #6: Commit 1d1fe7d pushed by jtristan
August 19, 2024 18:19 21s main
main
August 19, 2024 18:19 21s
Identifiers CI #5: Pull request #3 opened by jtristan
August 19, 2024 18:19 23s Identifiers
Identifiers
August 19, 2024 18:19 23s
Type algebra (#2) CI #4: Commit 6beeacf pushed by jtristan
August 16, 2024 20:04 27s main
main
August 16, 2024 20:04 27s
Type algebra CI #3: Pull request #2 opened by jtristan
August 16, 2024 20:03 19s Types
Types
August 16, 2024 20:03 19s
Workflow (#1) CI #2: Commit b4c76bf pushed by jtristan
August 16, 2024 12:01 28s main
main
August 16, 2024 12:01 28s
Workflow CI #1: Pull request #1 opened by jtristan
August 16, 2024 12:00 21s Workflow
Workflow
August 16, 2024 12:00 21s