Skip to content
Snippets Groups Projects

Update forall_inst

Merged Update forall_inst
devel/new-forall_inst into master
All threads resolved!
Merged Hans-Jörg requested to merge devel/new-forall_inst into master
All threads resolved!

This addresses #41 (closed)

Merge request reports

Pipeline #24187 passed

Stage: build

    Pipeline passed for cc46e2aa on devel/new-forall_inst

    Approval is optional

    Merged by Hans-JörgHans-Jörg 10 months ago (Jun 5, 2024 4:18pm UTC)

    Merge details

    • Changes merged into master with f961e6f8.
    • Did not delete the source branch.

    • Mentions issue #41 (closed)

    Pipeline #24210 passed

    Stage: build
      Stage: publish
        Stage: deploy

          Pipeline passed for f961e6f8 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
        • Haniel Barbosa
          Haniel Barbosa @hbarbosa ·
          Maintainer

          Just a minor suggestion. Also, as discussed on Zulip, changing the conclusion to not be an or term would be good also.

        • Hans-Jörg resolved all threads

          resolved all threads

        • Hans-Jörg added 1 commit

          added 1 commit

          • cc46e2aa - Apply 1 suggestion(s) to 1 file(s)

          Compare with previous version

        • Hans-Jörg
          Hans-Jörg @hjsc ·
          Author Maintainer

          Merge, removing the or will be done later together with other rules.

        • Hans-Jörg closed

          closed

        • Hans-Jörg reopened

          reopened

        • Hans-Jörg merged

          merged

        • Hans-Jörg mentioned in commit f961e6f8

          mentioned in commit f961e6f8

          • Please register or sign in to reply