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

New test files CI #37: Pull request #8 opened by jtristan
September 2, 2024 15:20 22s CParser
CParser
September 2, 2024 15:20 22s
Parser (#7) CI #36: Commit 616cc4d pushed by jtristan
September 2, 2024 15:17 30s main
main
September 2, 2024 15:17 30s
Parser CI #35: Pull request #7 synchronize by jtristan
September 2, 2024 15:17 37s Parser
Parser
September 2, 2024 15:17 37s
Parser CI #34: Pull request #7 synchronize by jtristan
August 28, 2024 18:02 32s Parser
Parser
August 28, 2024 18:02 32s
Parser CI #33: Pull request #7 synchronize by jtristan
August 28, 2024 15:38 1m 4s Parser
Parser
August 28, 2024 15:38 1m 4s
Parser CI #32: Pull request #7 synchronize by jtristan
August 27, 2024 17:14 35s Parser
Parser
August 27, 2024 17:14 35s
Parser CI #31: Pull request #7 synchronize by jtristan
August 27, 2024 15:26 33s Parser
Parser
August 27, 2024 15:26 33s
Parser CI #30: Pull request #7 synchronize by jtristan
August 27, 2024 13:23 26s Parser
Parser
August 27, 2024 13:23 26s
Parser CI #29: Pull request #7 synchronize by jtristan
August 27, 2024 13:15 30s Parser
Parser
August 27, 2024 13:15 30s
Parser CI #28: Pull request #7 synchronize by jtristan
August 27, 2024 13:11 23s Parser
Parser
August 27, 2024 13:11 23s
Parser CI #27: Pull request #7 synchronize by jtristan
August 27, 2024 12:23 27s Parser
Parser
August 27, 2024 12:23 27s
Parser CI #26: Pull request #7 synchronize by jtristan
August 26, 2024 20:35 27s Parser
Parser
August 26, 2024 20:35 27s
Parser CI #25: Pull request #7 synchronize by jtristan
August 26, 2024 19:37 27s Parser
Parser
August 26, 2024 19:37 27s
Parser CI #24: Pull request #7 synchronize by jtristan
August 26, 2024 19:04 21s Parser
Parser
August 26, 2024 19:04 21s
Parser CI #23: Pull request #7 opened by jtristan
August 26, 2024 17:03 29s Parser
Parser
August 26, 2024 17:03 29s
Parsing (#6) CI #22: Commit 6b2532b pushed by jtristan
August 23, 2024 20:44 36s main
main
August 23, 2024 20:44 36s
Parsing CI #21: Pull request #6 opened by jtristan
August 23, 2024 20:40 36s Parsing
Parsing
August 23, 2024 20:40 36s
Sketching operations (#5) CI #20: Commit c60402c pushed by jtristan
August 20, 2024 22:11 28s main
main
August 20, 2024 22:11 28s
Sketching operations CI #19: Pull request #5 synchronize by jtristan
August 20, 2024 22:11 22s Operations
Operations
August 20, 2024 22:11 22s
CI CI #18: Manually run by jtristan
August 20, 2024 22:11 27s Operations
Operations
August 20, 2024 22:11 27s
Sketching operations CI #17: Pull request #5 synchronize by jtristan
August 20, 2024 22:05 18s Operations
Operations
August 20, 2024 22:05 18s
Sketching operations CI #16: Pull request #5 synchronize by jtristan
August 20, 2024 17:45 20s Operations
Operations
August 20, 2024 17:45 20s
Sketching operations CI #15: Pull request #5 synchronize by jtristan
August 20, 2024 17:43 18s Operations
Operations
August 20, 2024 17:43 18s
Sketching operations CI #14: Pull request #5 synchronize by jtristan
August 20, 2024 17:41 18s Operations
Operations
August 20, 2024 17:41 18s
Sketching operations CI #13: Pull request #5 synchronize by jtristan
August 20, 2024 17:40 20s Operations
Operations
August 20, 2024 17:40 20s