Skip to content

Actions: leanprover/SHerLOC

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactoring AST CI #87: Pull request #10 synchronize by jtristan
September 13, 2024 17:33 32s WF
WF
September 13, 2024 17:33 32s
Refactoring AST CI #86: Pull request #10 synchronize by jtristan
September 13, 2024 16:38 39s WF
WF
September 13, 2024 16:38 39s
Refactoring AST CI #85: Pull request #10 synchronize by jtristan
September 12, 2024 19:03 26s WF
WF
September 12, 2024 19:03 26s
Refactoring AST CI #84: Pull request #10 synchronize by jtristan
September 12, 2024 17:16 32s WF
WF
September 12, 2024 17:16 32s
Refactoring AST CI #83: Pull request #10 synchronize by jtristan
September 12, 2024 17:02 25s WF
WF
September 12, 2024 17:02 25s
Refactoring AST CI #82: Pull request #10 synchronize by jtristan
September 12, 2024 16:35 20s WF
WF
September 12, 2024 16:35 20s
Refactoring AST CI #81: Pull request #10 synchronize by jtristan
September 12, 2024 16:25 32s WF
WF
September 12, 2024 16:25 32s
Refactoring AST CI #80: Pull request #10 synchronize by jtristan
September 12, 2024 16:03 3m 0s WF
WF
September 12, 2024 16:03 3m 0s
Refactoring AST CI #79: Pull request #10 synchronize by jtristan
September 12, 2024 15:37 32s WF
WF
September 12, 2024 15:37 32s
Refactoring AST CI #78: Pull request #10 synchronize by jtristan
September 12, 2024 14:57 31s WF
WF
September 12, 2024 14:57 31s
Refactoring AST CI #77: Pull request #10 synchronize by jtristan
September 12, 2024 13:29 26s WF
WF
September 12, 2024 13:29 26s
Refactoring AST CI #76: Pull request #10 synchronize by jtristan
September 12, 2024 13:07 24s WF
WF
September 12, 2024 13:07 24s
Refactoring AST CI #75: Pull request #10 synchronize by jtristan
September 12, 2024 13:01 22s WF
WF
September 12, 2024 13:01 22s
Refactoring AST CI #74: Pull request #10 synchronize by jtristan
September 12, 2024 12:55 35s WF
WF
September 12, 2024 12:55 35s
Improved testing CI #73: Pull request #11 opened by jtristan
September 11, 2024 21:12 19s ImprovedTesting
ImprovedTesting
September 11, 2024 21:12 19s
Refactoring AST CI #72: Pull request #10 synchronize by jtristan
September 11, 2024 21:09 29s WF
WF
September 11, 2024 21:09 29s
Refactoring AST CI #71: Pull request #10 opened by jtristan
September 10, 2024 18:32 38s WF
WF
September 10, 2024 18:32 38s
Generic parser (#9) CI #70: Commit 861191a pushed by jtristan
September 9, 2024 12:26 33s main
main
September 9, 2024 12:26 33s
Generic parser CI #69: Pull request #9 synchronize by jtristan
September 6, 2024 20:39 36s GenericParser
GenericParser
September 6, 2024 20:39 36s
Generic parser CI #68: Pull request #9 synchronize by jtristan
September 6, 2024 18:54 47s GenericParser
GenericParser
September 6, 2024 18:54 47s
Generic parser CI #67: Pull request #9 synchronize by jtristan
September 6, 2024 17:14 1m 36s GenericParser
GenericParser
September 6, 2024 17:14 1m 36s
Generic parser CI #66: Pull request #9 synchronize by jtristan
September 6, 2024 15:30 1m 55s GenericParser
GenericParser
September 6, 2024 15:30 1m 55s
Generic parser CI #65: Pull request #9 synchronize by jtristan
September 6, 2024 14:04 1m 41s GenericParser
GenericParser
September 6, 2024 14:04 1m 41s
Generic parser CI #64: Pull request #9 synchronize by jtristan
September 6, 2024 13:04 1m 46s GenericParser
GenericParser
September 6, 2024 13:04 1m 46s
Generic parser CI #63: Pull request #9 synchronize by jtristan
September 6, 2024 01:08 1m 49s GenericParser
GenericParser
September 6, 2024 01:08 1m 49s