Skip to content

Actions: mbarbin/fingerboard

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

24s
Upgrade dunolint workflow
Dunolint Workflows #13: Commit 77918ea pushed by mbarbin
1m 13s main
Upgrade dunolint workflow
deploy-odoc #72: Commit 77918ea pushed by mbarbin
15m 12s main
Upgrade dunolint workflow
more-ci #45: Commit 77918ea pushed by mbarbin
45m 9s main
Remove root dune-workspace file
Dunolint Workflows #12: Commit 060a5de pushed by mbarbin
7m 43s main
Remove root dune-workspace file
deploy-odoc #71: Commit 060a5de pushed by mbarbin
17m 13s main
Upgrade dunolint workflow
Dunolint Workflows #10: Commit b0ae424 pushed by mbarbin
16s main
Upgrade dunolint workflow
deploy-odoc #70: Commit b0ae424 pushed by mbarbin
5m 49s main
Upgrade dunolint workflow
more-ci #42: Commit b0ae424 pushed by mbarbin
7m 24s main
Initiate code owners file for GH
deploy-odoc #69: Commit 7a97ee4 pushed by mbarbin
11m 15s main
Initiate code owners file for GH
Dunolint Workflows #9: Commit 7a97ee4 pushed by mbarbin
35s main