Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: anqur/TinyLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
176 workflow runs
176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Name resolving works now Test #50: Commit 6434f04 pushed by anqur
1m 52s main
main
1m 52s
Postponed set_parse_action is possible, but crappy Test #49: Commit a9f95fa pushed by anqur
1m 26s main
main
1m 26s
Rule names Test #48: Commit 0280c5a pushed by anqur
1m 29s main
main
1m 29s
Grammar is hard Test #47: Commit ad9c64e pushed by anqur
2m 18s main
main
2m 18s
Testing name resolving Test #46: Commit a0b6571 pushed by anqur
1m 54s main
main
1m 54s
Nits Test #45: Commit dc11178 pushed by anqur
1m 21s main
main
1m 21s
Parse actions of programs Test #44: Commit 10a5b83 pushed by anqur
1m 22s main
main
1m 22s
Fix parse actions of definitions Test #43: Commit b7e7e32 pushed by anqur
2m 12s main
main
2m 12s
Parse actions of definitions Test #42: Commit 8be2f44 pushed by anqur
1m 23s main
main
1m 23s
Use Group for REFERENCE Test #41: Commit c8d7a76 pushed by anqur
1m 21s main
main
1m 21s
Parse actions of functions Test #40: Commit c76c711 pushed by anqur
2m 2s main
main
2m 2s
Parse actions of function types Test #39: Commit 7786381 pushed by anqur
1m 26s main
main
1m 26s
Fix CI Test #38: Commit 243ff5d pushed by anqur
1m 24s main
main
1m 24s
Move tests/ to src/TinyLean Test #37: Commit 9e7a9d9 pushed by anqur
32s main
main
32s
Fix CI, temporarily Test #36: Commit 6b33efe pushed by anqur
1m 18s main
main
1m 18s
Parse actions of function calls Test #35: Commit ecc6b3f pushed by anqur
36s main
main
36s
Parse actions of parameters Test #34: Commit ca10772 pushed by anqur
1m 28s main
main
1m 28s
More parse actions and tests Test #33: Commit c5fb2f0 pushed by anqur
1m 22s main
main
1m 22s
More parse actions Test #32: Commit 1bc558e pushed by anqur
1m 39s main
main
1m 39s
Register custom parse action Test #31: Commit a8efc30 pushed by anqur
1m 54s main
main
1m 54s
Chained function call Test #30: Commit 73f773a pushed by anqur
2m 13s main
main
2m 13s
More tests of expression grammar Test #29: Commit 283896a pushed by anqur
1m 8s main
main
1m 8s
Temporarily drop support of optional return types Test #28: Commit 9e64e21 pushed by anqur
1m 7s main
main
1m 7s
Nits Test #27: Commit 76240a2 pushed by anqur
1m 28s main
main
1m 28s
Type checking exceptions Test #26: Commit 426f66d pushed by anqur
1m 15s main
main
1m 15s