Skip to content

Actions: mbarbin/auto-format

Actions

Dunolint Workflows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dunolint.yml
49 workflow runs
49 workflow runs

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 Dunolint Workflows #49: Commit 234568d pushed by mbarbin
12s main
main
12s
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
Merge pull request #21 from mbarbin/upgrade-dune-3.23.1 Dunolint Workflows #46: Commit 3812d1f pushed by mbarbin
12s main
main
12s
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
Prepare file for future 5.5 CI (currently unused) Dunolint Workflows #43: Commit 141a2ee pushed by mbarbin
16s main
main
16s
Upgrade deploy-pages (node 24 warning) Dunolint Workflows #42: Commit d0d8fc1 pushed by mbarbin
9s main
main
9s
Upgrade CIs Dunolint Workflows #41: Commit 851d518 pushed by mbarbin
10s main
main
10s
Upgrade CIs Dunolint Workflows #40: Pull request #20 opened by mbarbin
15s upgrade-cis
upgrade-cis
15s
Upgrade ocamlformat to 0.29.0 Dunolint Workflows #39: Commit faa9312 pushed by mbarbin
13s main
main
13s
Remove left-over unused var (shellcheck) Dunolint Workflows #38: Commit 3110f34 pushed by mbarbin
11s main
main
11s
Remove obsolete license header config file Dunolint Workflows #37: Commit 3e6e8c5 pushed by mbarbin
14s main
main
14s
Merge branch 'flatten-stdlib' Dunolint Workflows #36: Commit a1c6a9e pushed by mbarbin
16s main
main
16s
Support per directory headers when needed Dunolint Workflows #35: Commit c90c99a pushed by mbarbin
12s main
main
12s
Disable dependabot Dunolint Workflows #34: Commit a758fa1 pushed by mbarbin
47s main
main
47s
Update ci deps Dunolint Workflows #33: Pull request #19 opened by mbarbin
14s update-ci-deps
update-ci-deps
14s
Upgrade dunolint workflow Dunolint Workflows #32: Commit e09639c pushed by mbarbin
3m 44s main
main
3m 44s
Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos Dunolint Workflows #31: Commit fa2eae1 pushed by mbarbin
12s main
main
12s
Bump actions/checkout from 6.0.1 to 6.0.2 Dunolint Workflows #30: Pull request #18 opened by dependabot Bot
11s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
11s
Upgrade dunolint workflow Dunolint Workflows #29: Commit 9d6fb7e pushed by mbarbin
2m 26s main
main
2m 26s
Cleanup transition note Dunolint Workflows #28: Commit dfe3812 pushed by mbarbin
6m 28s main
main
6m 28s
Merge pull request #17 from mbarbin/migrate-ci-setup-dune Dunolint Workflows #27: Commit ae48d19 pushed by mbarbin
16s main
main
16s
Migrate ci setup dune Dunolint Workflows #26: Pull request #17 opened by mbarbin
13s migrate-ci-setup-dune
migrate-ci-setup-dune
13s
Merge pull request #16 from mbarbin/upgrade-setup-dune-3.21 Dunolint Workflows #25: Commit d7fb56a pushed by mbarbin
14s main
main
14s