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

[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