Skip to content

Actions: vasnesterov/SVerLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lecture 1 Lean Action CI #2: Commit 55c5b5a pushed by vasnesterov
1m 9s master
master
1m 9s
Initial commit Lean Action CI #1: Commit 098e0c7 pushed by vasnesterov
8m 29s master
master
8m 29s
Initial commit Create Release #1: Commit 098e0c7 pushed by vasnesterov
7s master
master
7s