Skip to content

Actions: anqur/TinyLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
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