Skip to content

Actions: aniervs/lean-algorithms

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 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 benchmark for the aho-corasick Lean Action CI #5: Commit e03809e pushed by aniervs
19s main
main
19s
update readme Lean Action CI #4: Commit 70cbdb6 pushed by aniervs
25s main
main
25s
add Queue Lean Action CI #3: Commit f49d5dc pushed by aniervs
27s main
main
27s
update readme Lean Action CI #2: Commit b0aa2c6 pushed by aniervs
23s main
main
23s
add basic implementation of Trie Lean Action CI #1: Commit 150cbb5 pushed by aniervs
20s main
main
20s