Skip to content

Actions: mikolajkapica/aoc

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

a bit better day1 sol Lean Action CI #6: Commit 2db17a3 pushed by mikolajkapica
December 4, 2024 23:49 22s main
main
December 4, 2024 23:49 22s
a bit better day1 sol Lean Action CI #5: Commit a4f172e pushed by mikolajkapica
December 4, 2024 23:48 18s main
main
December 4, 2024 23:48 18s
a bit better day1 sol Lean Action CI #4: Commit 2dba885 pushed by mikolajkapica
December 4, 2024 23:47 18s main
main
December 4, 2024 23:47 18s
a bit better day1 sol Lean Action CI #3: Commit 8c9c96d pushed by mikolajkapica
December 4, 2024 23:17 20s main
main
December 4, 2024 23:17 20s
First Star! Lean Action CI #2: Commit 5dca5f7 pushed by mikolajkapica
December 4, 2024 05:38 19s main
main
December 4, 2024 05:38 19s
First Star! Lean Action CI #1: Commit f26949c pushed by mikolajkapica
December 4, 2024 05:36 20s main
main
December 4, 2024 05:36 20s