Skip to content

Actions: Lean-zh/protobuf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 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
add more tests Lean Action CI #62: Commit 45c7993 pushed by Qiu233
57s master
master
57s
fix wrong dispatch Lean Action CI #61: Commit 653a08a pushed by Qiu233
1m 8s master
master
1m 8s
decode message in one pass Lean Action CI #60: Commit 1c3fb8b pushed by Qiu233
1m 4s master
master
1m 4s
add benchmark Lean Action CI #59: Commit cdaa010 pushed by Qiu233
21s master
master
21s
add benchmark Lean Action CI #58: Commit 0bb9f53 pushed by Qiu233
1m 12s master
master
1m 12s
bump to v4.27.0 Lean Action CI #57: Commit f191312 pushed by Qiu233
1m 18s master
master
1m 18s
add partial modifiers Lean Action CI #56: Commit 60a6c80 pushed by Qiu233
1m 8s master
master
1m 8s
remove currently not used file Lean Action CI #55: Commit 17ba7b6 pushed by Qiu233
20s master
master
20s
Update README.md Lean Action CI #54: Commit 71d0a9d pushed by Qiu233
23s master
master
23s
support message extension Lean Action CI #53: Commit d99200d pushed by Qiu233
1m 18s master
master
1m 18s
support proto2 default option Lean Action CI #52: Commit 13f8b3c pushed by Qiu233
1m 12s master
master
1m 12s
update dependency Lean Action CI #51: Commit 20b0609 pushed by Qiu233
1m 14s master
master
1m 14s
sanitize when encountering reserved names Lean Action CI #50: Commit a7a513c pushed by Qiu233
31s master
master
31s
use top level protobuf namespace Lean Action CI #49: Commit d49ad7e pushed by Qiu233
47s master
master
47s
make plugin usable Lean Action CI #48: Commit 2bc9698 pushed by Qiu233
31s master
master
31s
fix test of descriptors Lean Action CI #47: Commit 504fd4e pushed by Qiu233
27s master
master
27s
fix typo Lean Action CI #46: Commit 6e62ca4 pushed by Qiu233
22s master
master
22s
fix typo Lean Action CI #45: Commit 315e8d8 pushed by Qiu233
26s master
master
26s
fix typo Lean Action CI #44: Commit d67d775 pushed by Qiu233
35s master
master
35s
Update README.md Lean Action CI #43: Commit d6b2c16 pushed by Qiu233
22s master
master
22s
plugin implementation Lean Action CI #42: Commit 87ff0ac pushed by Qiu233
1m 10s master
master
1m 10s
add support for loading a directory Lean Action CI #41: Commit 450282b pushed by Qiu233
21s master
master
21s
add support for loading a directory Lean Action CI #40: Commit d6c142a pushed by Qiu233
27s master
master
27s
change url of package binary Lean Action CI #39: Commit 8f8b799 pushed by Qiu233
27s master
master
27s
fix CI Lean Action CI #38: Commit 0494dba pushed by Qiu233
1m 14s master
master
1m 14s