Skip to content
Snippets Groups Projects

Release 26.0-Iron

Merged Release 26.0-Iron
release/26.0-iron into master
Merged Frama-CI Bot requested to merge release/26.0-iron into master

On behalf of "David Bühler" david.buhler@cea.fr (@buhler)

Edited by David Bühler

Merge request reports

Pipeline #50926 passed

Stage: test
    Stage: css
      Stage: deploy

        Pipeline passed for 60e20054 on release/26.0-iron

        Approval is optional

        Merged by David BühlerDavid Bühler 2 years ago (Nov 23, 2022 1:20pm UTC)

        Merge details

        • Changes merged into master with 3102b0de.
        • Deleted the source branch.

        Pipeline #50927 passed

        Stage: deploy

          Pipeline passed for 3102b0de on master

          Activity

          Filter activity
          • Approvals
          • Assignees & reviewers
          • Comments (from bots)
          • Comments (from users)
          • Commits & branches
          • Edits
          • Labels
          • Lock status
          • Mentions
          • Merge request status
          • Tracking
          Please register or sign in to reply