mbarbin / auto-format / 119

Builds Branch Commit Type Ran Committer Via Coverage
119 dependabot/github_actions/actions/checkout-6.0.2 Merge 19c749f97 into 9d6fb7e54 Pull #18 web-flow github
85.92
118 main Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest push mbarbin github
85.92
117 main Cleanup transition note push mbarbin github
85.92
116 main Merge pull request #17 from mbarbin/migrate-ci-setup-dune Migrate ci setup dune push web-flow github
85.92
115 migrate-ci-setup-dune Merge f864121e2 into d7fb56afe Pull #17 web-flow github
85.92
114 main Merge pull request #16 from mbarbin/upgrade-setup-dune-3.21 Upgrade setup-dune and pin dune version used to a stable release push web-flow github
85.92
113 upgrade-setup-dune-3.21 Merge 4fe1a3562 into 610e4d6bf Pull #16 web-flow github
85.92
112 main Update setup-dune sha (fix macos build path issue) push mbarbin github
85.92
111 main Upgrade setup-dune (v2.0.0+patched) push mbarbin github
85.92
110 main Improve default settings for GHA permissions push mbarbin github
85.92
109 main Set more-ci default shell to bash push mbarbin github
85.92
108 main Prepare dune-workspace files for CI workflows push mbarbin github
85.92
107 main Upgrade dunolint push mbarbin github
85.92
106 main Merge pull request #15 from mbarbin/myconf-example Add example (myconf) push web-flow github
85.92
105 myconf-example Merge 82558b41c into ffe8f6acd Pull #15 web-flow github
85.92