Skip to content

Actions: mroximut/dLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 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
readme Lean Action CI #8: Commit ed6ab14 pushed by mroximut
32m 33s main
main
32m 33s
gitignore Lean Action CI #7: Commit f1af436 pushed by mroximut
34m 17s main
main
34m 17s
docs Lean Action CI #6: Commit 355dafa pushed by mroximut
27m 3s main
main
27m 3s
agent script and readme Create Release #1: Commit b19cdd7 pushed by mroximut
9s main
main
9s
agent script and readme Lean Action CI #5: Commit b19cdd7 pushed by mroximut
33m 36s main
main
33m 36s
structured and cleaned up Lean Action CI #4: Commit 0f0f462 pushed by mroximut
12m 24s main
main
12m 24s
license Lean Action CI #3: Commit 9edc783 pushed by mroximut
13m 13s main
main
13m 13s
clean readme Lean Action CI #2: Commit d60f22a pushed by mroximut
13m 1s main
main
13m 1s
initial project Lean Action CI #1: Commit 04234af pushed by mroximut
12m 0s main
main
12m 0s