Skip to content

Actions: fbundle/prop_logic_kernel

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
auto_commit Lean Action CI #7: Commit 7454826 pushed by fbundle
28s lean
lean
28s
auto_commit Lean Action CI #6: Commit 7c8f351 pushed by fbundle
21s lean
lean
21s
auto_commit Lean Action CI #5: Commit 1695c09 pushed by fbundle
23s master
master
23s
auto_commit Lean Action CI #4: Commit a170b6d pushed by fbundle
20s master
master
20s
auto_commit Lean Action CI #3: Commit 343ebe0 pushed by fbundle
21s master
master
21s
auto_commit Lean Action CI #2: Commit c29a340 pushed by fbundle
25s master
master
25s
auto_commit Lean Action CI #1: Commit 11b98d6 pushed by fbundle
20s master
master
20s