Skip to content

Actions: ogmutlu/dLean

Actions

All workflows

Actions

Loading...
Loading

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