Skip to content

Actions: baok/Lean

Actions

Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benchmarks.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update readme.md Benchmarks #11: Commit 8f57a8c pushed by baok
October 15, 2024 04:21 1d 22h 20m 42s master
master
October 15, 2024 04:21 1d 22h 20m 42s
Minor improvements (#8223) Benchmarks #10: Commit a46acef pushed by baok
July 28, 2024 09:31 4d 9h 22m 35s master
master
July 28, 2024 09:31 4d 9h 22m 35s
Minor fixes (#7980) Benchmarks #9: Commit b527a3d pushed by baok
April 29, 2024 06:29 1d 17h 9m 45s master
master
April 29, 2024 06:29 1d 17h 9m 45s
Update readme.md Benchmarks #8: Commit cd2e4ed pushed by baok
December 18, 2023 00:28 1d 13h 49m 35s master
master
December 18, 2023 00:28 1d 13h 49m 35s