mbarbin / loc / 132

Builds Branch Commit Type Ran Committer Via Coverage
132 main Enable crs workflow push mbarbin github
100.0
131 dependabot/github_actions/actions/checkout-6.0.2 Merge 925361757 into bbb915891 Pull #25 web-flow github
100.0
130 main Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest push mbarbin github
100.0
129 main Move transition note in action script push mbarbin github
100.0
128 main Initiate code owners file for GH push mbarbin github
100.0
127 dependabot/github_actions/actions/checkout-6.0.2 Merge 06f54adee into f6bcceb90 Pull #25 web-flow github
100.0
126 main Merge pull request #24 from mbarbin/setup-dune-more-ci Enable more CI workflows based on setup-dune push web-flow github
100.0
125 setup-dune-more-ci Merge a5b103971 into dc612e787 Pull #24 web-flow github
100.0
124 main Upgrade setup-dune and pin dune version used to a stable release push mbarbin github
100.0
123 main Update setup-dune sha (fix macos build path issue) push mbarbin github
100.0
122 main Upgrade setup-dune (v2.0.0+patched) push mbarbin github
100.0
121 main Improve default settings for GHA permissions push mbarbin github
100.0
120 main Upgrade setup-dune push mbarbin github
100.0
119 setup-dune-v2 Merge 1f2cadef5 into 16bc5a27b Pull #23 web-flow github
100.0
118 main Merge pull request #22 from mbarbin/investigate-win-ci-issues Attempt to fix offset tests divergence in Windows CI push web-flow github
100.0