mbarbin / crs / 366

Builds Branch Commit Type Ran Committer Via Coverage
366 main Upgrade deploy-pages (node 24 warning) push mbarbin github
100.0
365 main Fix renamed dune-workspace file in crs CI push mbarbin github
100.0
364 main Upgrade CIs push mbarbin github
100.0
363 main Merge pull request #132 from mbarbin/extend-stdlib-pp-err Extend stdlib pp err push web-flow github
100.0
362 extend-stdlib-pp-err Merge d61a75a58 into 1251ddc9e Pull #132 web-flow github
100.0
361 main Merge pull request #131 from mbarbin/use-mdexp Use mdexp push web-flow github
100.0
360 use-mdexp Merge c593a1cb2 into f9aee66ac Pull #131 web-flow github
100.0
359 use-mdexp Merge d623e0ca2 into f9aee66ac Pull #131 web-flow github
100.0
358 use-mdexp Merge 472dfcbe7 into f9aee66ac Pull #131 web-flow github
100.0
357 main Update external dependencies packages before building release artifacts push mbarbin github
100.0
356 main Apply fmt changes push mbarbin github
100.0
355 main Merge branch 'modernize-headers' push mbarbin github
100.0
354 main Merge branch 'windtrap.myers' push mbarbin github
100.0
353 windtrap.myers Merge bba97c75c into 0fc629a17 Pull #130 web-flow github
100.0
352 windtrap.myers Merge 713bbf9dd into 0fc629a17 Pull #130 web-flow github
100.0