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
Rule names
Test #48: Commit 0280c5a pushed by anqur
1m 29s main
Grammar is hard
Test #47: Commit ad9c64e pushed by anqur
2m 18s main
Testing name resolving
Test #46: Commit a0b6571 pushed by anqur
1m 54s main
Nits
Test #45: Commit dc11178 pushed by anqur
1m 21s main
Use Group for REFERENCE
Test #41: Commit c8d7a76 pushed by anqur
1m 21s main
Fix CI
Test #38: Commit 243ff5d pushed by anqur
1m 24s main
Fix CI, temporarily
Test #36: Commit 6b33efe pushed by anqur
1m 18s main
More parse actions
Test #32: Commit 1bc558e pushed by anqur
1m 39s main
Chained function call
Test #30: Commit 73f773a pushed by anqur
2m 13s main
Nits
Test #27: Commit 76240a2 pushed by anqur
1m 28s main
Type checking exceptions
Test #26: Commit 426f66d pushed by anqur
1m 15s main