Skip to content

Actions: mbarbin/auto-format

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/checkout from 6.0.1 to 6.0.2 ci #119: Pull request #18 opened by dependabot bot
2m 36s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
2m 36s
Bump actions/checkout from 6.0.1 to 6.0.2 dune-pkg-more-ci #5: Pull request #18 opened by dependabot bot
3m 55s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
3m 55s
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
github_actions in /. - Update #1229217350 Dependabot Updates #22: by dependabot bot
36s main
main
36s
Upgrade dunolint workflow ci #118: Commit 9d6fb7e pushed by mbarbin
3m 22s main
main
3m 22s
Upgrade dunolint workflow Dunolint Workflows #29: Commit 9d6fb7e pushed by mbarbin
2m 26s main
main
2m 26s
Upgrade dunolint workflow dune-pkg-more-ci #4: Commit 9d6fb7e pushed by mbarbin
7m 13s main
main
7m 13s
Upgrade dunolint workflow deploy-odoc #35: Commit 9d6fb7e pushed by mbarbin
3m 37s main
main
3m 37s
Cleanup transition note dune-pkg-more-ci #3: Commit dfe3812 pushed by mbarbin
37m 5s main
main
37m 5s
Cleanup transition note Dunolint Workflows #28: Commit dfe3812 pushed by mbarbin
6m 28s main
main
6m 28s
Cleanup transition note deploy-odoc #34: Commit dfe3812 pushed by mbarbin
11m 5s main
main
11m 5s
Cleanup transition note ci #117: Commit dfe3812 pushed by mbarbin
3m 48s main
main
3m 48s
Merge pull request #17 from mbarbin/migrate-ci-setup-dune ci #116: Commit ae48d19 pushed by mbarbin
40s main
main
40s
Merge pull request #17 from mbarbin/migrate-ci-setup-dune deploy-odoc #33: Commit ae48d19 pushed by mbarbin
7m 34s main
main
7m 34s
Merge pull request #17 from mbarbin/migrate-ci-setup-dune Dunolint Workflows #27: Commit ae48d19 pushed by mbarbin
16s main
main
16s
Merge pull request #17 from mbarbin/migrate-ci-setup-dune dune-pkg-more-ci #2: Commit ae48d19 pushed by mbarbin
8m 27s main
main
8m 27s
Migrate ci setup dune dune-pkg-more-ci #1: Pull request #17 opened by mbarbin
8m 18s migrate-ci-setup-dune
migrate-ci-setup-dune
8m 18s
Migrate ci setup dune ci #115: Pull request #17 opened by mbarbin
40s migrate-ci-setup-dune
migrate-ci-setup-dune
40s
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 deploy-odoc #32: Commit d7fb56a pushed by mbarbin
4m 14s main
main
4m 14s
Merge pull request #16 from mbarbin/upgrade-setup-dune-3.21 ci #114: Commit d7fb56a pushed by mbarbin
7m 35s main
main
7m 35s
Merge pull request #16 from mbarbin/upgrade-setup-dune-3.21 Build and test with setup-dune #23: Commit d7fb56a pushed by mbarbin
15m 36s main
main
15m 36s
Merge pull request #16 from mbarbin/upgrade-setup-dune-3.21 Dunolint Workflows #25: Commit d7fb56a pushed by mbarbin
14s main
main
14s
Merge pull request #16 from mbarbin/upgrade-setup-dune-3.21 more-ci #51: Commit d7fb56a pushed by mbarbin
6m 4s main
main
6m 4s
Upgrade setup-dune and pin dune version used to a stable release ci #113: Pull request #16 opened by mbarbin
7m 36s upgrade-setup-dune-3.21
upgrade-setup-dune-3.21
7m 36s