Skip to content

Actions: occar421/lean-gherkin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 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
Update documents Lean Action CI #7: Commit 7a7588e pushed by occar421
26s main
main
26s
add free-form description Lean Action CI #6: Commit 39ded86 pushed by occar421
31s main
main
31s
add comment Lean Action CI #5: Commit 117dccf pushed by occar421
27s main
main
27s
Quote-less feature declaration Lean Action CI #4: Commit ea6a225 pushed by occar421
31s main
main
31s
Replace old style definition Lean Action CI #3: Commit fc12bee pushed by occar421
31s main
main
31s
Milestone 7 Lean Action CI #2: Commit 5f8dc49 pushed by occar421
39s main
main
39s
Milestone 6 Lean Action CI #1: Commit 69a93f2 pushed by occar421
34s main
main
34s