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

[WIP] Improve parse error (#20) CI #112: Commit cf77ce5 pushed by jtristan
October 9, 2024 18:33 39s main
main
October 9, 2024 18:33 39s
Add 'dot' opcode (#18) CI #111: Commit 038c38c pushed by jtristan
October 9, 2024 18:31 44s main
main
October 9, 2024 18:31 44s
[WIP] Improve parse error CI #110: Pull request #20 opened by seanmcl
October 9, 2024 18:20 35s seanmcl:sm/err
seanmcl:sm/err
October 9, 2024 18:20 35s
Add 'dot' opcode CI #109: Pull request #18 opened by seanmcl
October 9, 2024 17:24 35s seanmcl:main
seanmcl:main
October 9, 2024 17:24 35s
Update CODEOWNERS (#17) CI #108: Commit c7a3706 pushed by jtristan
September 20, 2024 15:21 19s main
main
September 20, 2024 15:21 19s
Update CODEOWNERS CI #107: Pull request #17 opened by jtristan
September 20, 2024 15:21 19s jtristan-patch-2
jtristan-patch-2
September 20, 2024 15:21 19s
Create CODEOWNERS (#16) CI #106: Commit 210c831 pushed by jtristan
September 20, 2024 15:20 29s main
main
September 20, 2024 15:20 29s
Create CODEOWNERS CI #105: Pull request #16 opened by jtristan
September 20, 2024 15:20 22s jtristan-patch-1
jtristan-patch-1
September 20, 2024 15:20 22s
Update README.md (#15) CI #104: Commit 3e27773 pushed by jtristan
September 19, 2024 15:51 18s main
main
September 19, 2024 15:51 18s
Update README.md CI #103: Pull request #15 synchronize by jtristan
September 19, 2024 15:50 28s Documentation
Documentation
September 19, 2024 15:50 28s
Update README.md CI #102: Pull request #15 synchronize by jtristan
September 19, 2024 15:31 19s Documentation
Documentation
September 19, 2024 15:31 19s
Update README.md CI #101: Pull request #15 opened by jtristan
September 19, 2024 15:31 18s Documentation
Documentation
September 19, 2024 15:31 18s
J main dev (#14) CI #100: Commit 682580b pushed by jtristan
September 19, 2024 15:27 30s main
main
September 19, 2024 15:27 30s
J main dev CI #99: Pull request #14 synchronize by jtristan
September 19, 2024 15:21 47s JMainDev
JMainDev
September 19, 2024 15:21 47s
Removal of flyOver parsing CI #98: Commit 1eb72cc pushed by jtristan
September 19, 2024 14:53 30s main
main
September 19, 2024 14:53 30s
Main Dev CI #97: Pull request #13 opened by jtristan
September 19, 2024 14:51 28s JMainDev
JMainDev
September 19, 2024 14:51 28s
Well-formedness (#12) CI #96: Commit 9355881 pushed by jtristan
September 19, 2024 14:49 34s main
main
September 19, 2024 14:49 34s
Well-formedness CI #95: Pull request #12 synchronize by jtristan
September 19, 2024 14:38 35s WF
WF
September 19, 2024 14:38 35s
Well-formedness CI #94: Pull request #12 synchronize by jtristan
September 17, 2024 19:47 35s WF
WF
September 17, 2024 19:47 35s
Well-formedness CI #93: Pull request #12 opened by jtristan
September 17, 2024 17:44 27s WF
WF
September 17, 2024 17:44 27s
Refactoring AST (#10) CI #92: Commit 940d59d pushed by jtristan
September 13, 2024 20:17 30s main
main
September 13, 2024 20:17 30s
Refactoring AST CI #91: Pull request #10 synchronize by jtristan
September 13, 2024 20:16 30s WF
WF
September 13, 2024 20:16 30s
Refactoring AST CI #90: Pull request #10 synchronize by jtristan
September 13, 2024 19:29 26s WF
WF
September 13, 2024 19:29 26s
Refactoring AST CI #89: Pull request #10 synchronize by jtristan
September 13, 2024 19:11 34s WF
WF
September 13, 2024 19:11 34s
Refactoring AST CI #88: Pull request #10 synchronize by jtristan
September 13, 2024 18:30 37s WF
WF
September 13, 2024 18:30 37s