+
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

Bad attempt on local unification Test #6: Commit 4a699c0 pushed by anqur
1m 27s main
main
1m 27s
Bad attempt on local unification CLOC #7: Commit 4a699c0 pushed by anqur
27s main
main
27s
Fix case branch argument type Test #5: Commit 8445d08 pushed by anqur
1m 23s main
main
1m 23s
Fix case branch argument type CLOC #6: Commit 8445d08 pushed by anqur
1m 18s main
main
1m 18s
Rename release.yml to release.yaml CLOC #5: Commit 63750cd pushed by anqur
30s main
main
30s
Rename release.yml to release.yaml Test #4: Commit 63750cd pushed by anqur
1m 48s main
main
1m 48s
Update README.md CLOC #4: Commit fbb336d pushed by anqur
1m 15s main
main
1m 15s
Update README.md Test #3: Commit fbb336d pushed by anqur
1m 35s main
main
1m 35s
Update README.md CLOC #3: Commit cbced18 pushed by anqur
1m 29s main
main
1m 29s
Update README.md Test #2: Commit cbced18 pushed by anqur
1m 19s main
main
1m 19s
Update and rename test.yml to test.yaml Test #1: Commit cedba79 pushed by anqur
1m 51s main
main
1m 51s
Update and rename test.yml to test.yaml CLOC #2: Commit cedba79 pushed by anqur
1m 15s main
main
1m 15s
Create cloc.yaml CLOC #1: Commit f1c953a pushed by anqur
28s main
main
28s
Create cloc.yaml Test #154: Commit f1c953a pushed by anqur
1m 22s main
main
1m 22s
Update README.md Test #153: Commit 25588fe pushed by anqur
1m 22s main
main
1m 22s
Use good names Test #152: Pull request #8 opened by Myriad-Dreamin
29s Myriad-Dreamin:main
Myriad-Dreamin:main
29s
Nits Test #151: Commit 312b3ea pushed by anqur
1m 36s main
main
1m 36s
Suppress backtracking if possible Test #150: Commit 3f35208 pushed by anqur
1m 39s main
main
1m 39s
Nits Test #149: Commit fe2a4a2 pushed by anqur
1m 35s main
main
1m 35s
Fix CI Test #148: Commit dfa3d3c pushed by anqur
1m 58s main
main
1m 58s
Update README Test #147: Commit 95a8073 pushed by anqur
1m 15s main
main
1m 15s
Bump version Test #146: Commit 058cb9c pushed by anqur
2m 23s main
main
2m 23s
Operator overloading Test #145: Commit f008681 pushed by anqur
1m 58s v0.7.0
v0.7.0
1m 58s
Operator overloading Release #9: Commit f008681 pushed by anqur
41s v0.7.0
v0.7.0
41s
Operator overloading Test #144: Commit f008681 pushed by anqur
1m 46s main
main
1m 46s
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载