Skip to content

Actions: jeinryu/InsertionSort

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add paper Lean Action CI #6: Commit 1db7052 pushed by jeinryu
22s main
main
22s
modified sorted_eq Lean Action CI #5: Commit dd164fd pushed by jeinryu
22s main
main
22s
update readme Lean Action CI #4: Commit 9e2dd4b pushed by jeinryu
22s main
main
22s
deleat exe Lean Action CI #3: Commit 8592966 pushed by jeinryu
19s main
main
19s
delete main Lean Action CI #2: Commit 4e29007 pushed by jeinryu
18s main
main
18s
Insertion Sort Lean Action CI #1: Commit f76d6a6 pushed by jeinryu
19s main
main
19s