Skip to content

Actions: Seasawher/import-all

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add note #2 Build #13: Commit b729933 pushed by Seasawher
March 27, 2024 12:43 16s main
main
March 27, 2024 12:43 16s
Merge pull request #1 from Seasawher/lean-update Build #12: Commit 0710bc3 pushed by Seasawher
March 25, 2024 12:25 23s main
main
March 25, 2024 12:25 23s
update Lean to nightly-2024-03-25 Build #11: Pull request #1 opened by Seasawher
March 25, 2024 12:24 17s lean-update
lean-update
March 25, 2024 12:24 17s
Update LICENSE Build #10: Commit 1fe598b pushed by Seasawher
February 5, 2024 13:28 23s main
main
February 5, 2024 13:28 23s
Create LICENSE Build #9: Commit 6f259c8 pushed by Seasawher
February 5, 2024 13:27 17s main
main
February 5, 2024 13:27 17s
fix Build #8: Commit dfac5c1 pushed by Seasawher
January 6, 2024 15:19 16s main
main
January 6, 2024 15:19 16s
add more description Build #7: Commit 4703da8 pushed by Seasawher
January 6, 2024 15:18 18s main
main
January 6, 2024 15:18 18s
fix install command Build #6: Commit bdadf75 pushed by Seasawher
January 6, 2024 15:12 17s main
main
January 6, 2024 15:12 17s
fix typo Build #5: Commit ca4149e pushed by Seasawher
January 6, 2024 15:00 15s main
main
January 6, 2024 15:00 15s
add "how to use" Build #4: Commit 31732ba pushed by Seasawher
January 6, 2024 14:58 17s main
main
January 6, 2024 14:58 17s
fix typo Build #3: Commit 85364b7 pushed by Seasawher
January 6, 2024 14:56 22s main
main
January 6, 2024 14:56 22s
add readme Build #2: Commit 59b3c45 pushed by Seasawher
January 6, 2024 14:55 18s main
main
January 6, 2024 14:55 18s
add workflow Build #1: Commit 2195d84 pushed by Seasawher
January 6, 2024 14:53 25s main
main
January 6, 2024 14:53 25s