Skip to content

Actions: Lean-zh/binary

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move capacity forward Lean Action CI #32: Commit 2fb5c4b pushed by Qiu233
27s main
main
27s
Update README.md Lean Action CI #31: Commit 9d6af78 pushed by Qiu233
25s main
main
25s
change git url Lean Action CI #30: Commit 26cae83 pushed by Qiu233
25s main
main
25s
Update README.md Lean Action CI #29: Commit 1579247 pushed by Qiu233
21s main
main
21s
add remaining Lean Action CI #28: Commit 34c54ee pushed by Qiu233
9m 21s main
main
9m 21s
set hex string precedence Lean Action CI #27: Commit d845ca7 pushed by Qiu233
24s main
main
24s
expose Get Lean Action CI #26: Commit 5e70aef pushed by Qiu233
23s main
main
23s
improve overall code quality Lean Action CI #25: Commit 9b1a7db pushed by Qiu233
18s main
main
18s
add expose to abbrevs Lean Action CI #24: Commit fa762ca pushed by Qiu233
29s main
main
29s
save code Lean Action CI #23: Commit a5a6365 pushed by Qiu233
24s get_proc
get_proc
24s
save code Lean Action CI #22: Commit 5609540 pushed by Qiu233
22s get_proc
get_proc
22s
improve overall code quality Lean Action CI #21: Commit 9b1a7db pushed by Qiu233
27s main
main
27s
improve overall code quality Lean Action CI #20: Commit a977c1b pushed by Qiu233
25s main
main
25s
improve overall code quality Lean Action CI #19: Commit 27ae0fe pushed by Qiu233
23s main
main
23s
improve overall code quality Lean Action CI #18: Commit 7739e3b pushed by Qiu233
22s main
main
22s
hex string Lean Action CI #17: Commit 98e2ae7 pushed by Qiu233
25s main
main
25s
adopt the module system Lean Action CI #16: Commit b832851 pushed by Qiu233
20s main
main
20s
use eoi as special error Lean Action CI #15: Commit 52bef2d pushed by Qiu233
22s main
main
22s
remove redundant file Lean Action CI #14: Commit 7a108c8 pushed by Qiu233
21s main
main
21s
Add MIT License to the project Lean Action CI #13: Commit 59ba77e pushed by Qiu233
19s main
main
19s
remove redundant EOI literal Lean Action CI #12: Commit 94f7f99 pushed by Qiu233
18s main
main
18s
bump to v4.26.0 Lean Action CI #11: Commit 55f6cf7 pushed by Qiu233
21s main
main
21s
remote Repr instance of ByteArray Lean Action CI #10: Commit e6f3739 pushed by Qiu233
18s main
main
18s
remove redundant type variable Lean Action CI #9: Commit a203044 pushed by Qiu233
21s main
main
21s
get/put in place of decode/encode Lean Action CI #8: Commit eaaf03b pushed by Qiu233
18s main
main
18s