Skip to content

Actions: mbarbin/auto-format

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
263 workflow runs
263 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
Run the tests first and instrumented after that deploy-odoc #50: Commit 234568d pushed by mbarbin
41s main
main
41s
Run the tests first and instrumented after that ci #138: Commit 234568d pushed by mbarbin
1m 7s main
main
1m 7s
Run the tests first and instrumented after that dune-pkg-more-ci #24: Commit 234568d pushed by mbarbin
2m 2s main
main
2m 2s
Run the tests first and instrumented after that Dunolint Workflows #49: Commit 234568d pushed by mbarbin
12s main
main
12s
Attempt running the test twice ci #137: Pull request #22 opened by mbarbin
51s attempt-coverage-ci-fix
attempt-coverage-ci-fix
51s
Attempt running the test twice dune-pkg-more-ci #23: Pull request #22 opened by mbarbin
2m 5s attempt-coverage-ci-fix
attempt-coverage-ci-fix
2m 5s
Attempt running the test twice Dunolint Workflows #48: Pull request #22 opened by mbarbin
15s attempt-coverage-ci-fix
attempt-coverage-ci-fix
15s
Remove rm step in CI causing dune IO errors Dunolint Workflows #47: Commit e2b49be pushed by mbarbin
15s main
main
15s
Remove rm step in CI causing dune IO errors dune-pkg-more-ci #22: Commit e2b49be pushed by mbarbin
22m 16s main
main
22m 16s
Remove rm step in CI causing dune IO errors ci #136: Commit e2b49be pushed by mbarbin
1m 0s main
main
1m 0s
Remove rm step in CI causing dune IO errors deploy-odoc #49: Commit e2b49be pushed by mbarbin
46s main
main
46s
Merge pull request #21 from mbarbin/upgrade-dune-3.23.1 deploy-odoc #48: Commit 3812d1f pushed by mbarbin
7m 0s main
main
7m 0s
Merge pull request #21 from mbarbin/upgrade-dune-3.23.1 Dunolint Workflows #46: Commit 3812d1f pushed by mbarbin
12s main
main
12s
Merge pull request #21 from mbarbin/upgrade-dune-3.23.1 ci #135: Commit 3812d1f pushed by mbarbin
37s main
main
37s
Merge pull request #21 from mbarbin/upgrade-dune-3.23.1 dune-pkg-more-ci #21: Commit 3812d1f pushed by mbarbin
30s main
main
30s
Upgrade dune in ci to 3.23.1 dune-pkg-more-ci #20: Pull request #21 opened by mbarbin
8m 19s upgrade-dune-3.23.1
upgrade-dune-3.23.1
8m 19s
Upgrade dune in ci to 3.23.1 ci #134: Pull request #21 opened by mbarbin
7m 6s upgrade-dune-3.23.1
upgrade-dune-3.23.1
7m 6s
Upgrade dune in ci to 3.23.1 Dunolint Workflows #45: Pull request #21 opened by mbarbin
14s upgrade-dune-3.23.1
upgrade-dune-3.23.1
14s
Enable 5.5 in CI Dunolint Workflows #44: Commit 7f235cb pushed by mbarbin
18s main
main
18s
Enable 5.5 in CI ci #133: Commit 7f235cb pushed by mbarbin
7m 38s main
main
7m 38s
Enable 5.5 in CI dune-pkg-more-ci #19: Commit 7f235cb pushed by mbarbin
9m 58s main
main
9m 58s
Enable 5.5 in CI deploy-odoc #47: Commit 7f235cb pushed by mbarbin
8m 6s main
main
8m 6s
Prepare file for future 5.5 CI (currently unused) Dunolint Workflows #43: Commit 141a2ee pushed by mbarbin
16s main
main
16s
Prepare file for future 5.5 CI (currently unused) ci #132: Commit 141a2ee pushed by mbarbin
7m 30s main
main
7m 30s
Prepare file for future 5.5 CI (currently unused) dune-pkg-more-ci #18: Commit 141a2ee pushed by mbarbin
9m 39s main
main
9m 39s