Skip to content

Actions: mbarbin/auto-format

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
223 workflow runs
223 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve default settings for GHA permissions more-ci #47: Commit 3692ee8 pushed by mbarbin
12m 19s main
main
12m 19s
Set more-ci default shell to bash ci #109: Commit efa105a pushed by mbarbin
5m 11s main
main
5m 11s
Set more-ci default shell to bash Dunolint Workflows #20: Commit efa105a pushed by mbarbin
22s main
main
22s
Set more-ci default shell to bash Build and test with setup-dune #18: Commit efa105a pushed by mbarbin
48m 55s main
main
48m 55s
Set more-ci default shell to bash deploy-odoc #28: Commit efa105a pushed by mbarbin
20m 9s main
main
20m 9s
Set more-ci default shell to bash more-ci #46: Commit efa105a pushed by mbarbin
1h 15m 0s main
main
1h 15m 0s
Prepare dune-workspace files for CI workflows Build and test with setup-dune #17: Commit 49e01d6 pushed by mbarbin
6m 46s main
main
6m 46s
Prepare dune-workspace files for CI workflows more-ci #45: Commit 49e01d6 pushed by mbarbin
18m 4s main
main
18m 4s
Prepare dune-workspace files for CI workflows ci #108: Commit 49e01d6 pushed by mbarbin
4m 29s main
main
4m 29s
Prepare dune-workspace files for CI workflows deploy-odoc #27: Commit 49e01d6 pushed by mbarbin
5m 23s main
main
5m 23s
Prepare dune-workspace files for CI workflows Dunolint Workflows #19: Commit 49e01d6 pushed by mbarbin
14s main
main
14s
Upgrade dunolint Build and test with setup-dune #16: Commit da8c936 pushed by mbarbin
6m 59s main
main
6m 59s
Upgrade dunolint ci #107: Commit da8c936 pushed by mbarbin
4m 32s main
main
4m 32s
Upgrade dunolint more-ci #44: Commit da8c936 pushed by mbarbin
4m 52s main
main
4m 52s
Upgrade dunolint deploy-odoc #26: Commit da8c936 pushed by mbarbin
4m 12s main
main
4m 12s
Upgrade dunolint Dunolint Workflows #18: Commit da8c936 pushed by mbarbin
16s main
main
16s
github_actions in /. - Update #1196701998 Dependabot Updates #21: by dependabot bot
30s main
main
30s
Merge pull request #15 from mbarbin/myconf-example more-ci #43: Commit b0cbd1e pushed by mbarbin
4m 17s main
main
4m 17s
Merge pull request #15 from mbarbin/myconf-example ci #106: Commit b0cbd1e pushed by mbarbin
4m 20s main
main
4m 20s
Merge pull request #15 from mbarbin/myconf-example Dunolint Workflows #17: Commit b0cbd1e pushed by mbarbin
14s main
main
14s
Merge pull request #15 from mbarbin/myconf-example deploy-odoc #25: Commit b0cbd1e pushed by mbarbin
4m 2s main
main
4m 2s
Merge pull request #15 from mbarbin/myconf-example Build and test with setup-dune #15: Commit b0cbd1e pushed by mbarbin
2m 14s main
main
2m 14s
Add example (myconf) more-ci #42: Pull request #15 synchronize by mbarbin
4m 41s myconf-example
myconf-example
4m 41s
Add example (myconf) ci #105: Pull request #15 synchronize by mbarbin
4m 29s myconf-example
myconf-example
4m 29s
Add example (myconf) Dunolint Workflows #16: Pull request #15 synchronize by mbarbin
10s myconf-example
myconf-example
10s