Skip to content
Snippets Groups Projects

Merge branch 'cleenup/deprecate-dune-disj-conj-neg-typetraits' into 'master'

Closed Merge branch 'cleenup/deprecate-dune-disj-conj-neg-typetraits' into 'master'
cherry-pick-47b6d772 into releases/2.8
Closed Simon Praetorius requested to merge cherry-pick-47b6d772 into releases/2.8
Status
Pipeline
Created by
Stages
Actions
Passed

00:12:10

avatar
Stage: test
Stage: downstream
Pipeline: Dune Nightly Test

#37874

    Download artifacts

    No artifacts found

    Passed

    00:10:11

    avatar
    Stage: test
    Stage: downstream
    Pipeline: Dune Nightly Test

    #37872

      Download artifacts

      No artifacts found

      Passed

      00:06:52

      avatar
      Stage: test
      Stage: downstream
      Pipeline: Dune Nightly Test

      #37870

        Download artifacts

        No artifacts found