Skip to content
Snippets Groups Projects

Add weakening rule

Merged Add weakening rule
add/or_intro into master
Merged Hans-Jörg requested to merge add/or_intro into master

used by Carcara.

Addresses #45

Edited by Hans-Jörg

Merge request reports

Pipeline #44202 passed

Stage: build

    Pipeline passed for abcbcf05 on add/or_intro

    Merged by Hans-JörgHans-Jörg 7 months ago (Aug 9, 2024 9:00pm UTC)

    Loading

    Pipeline #44222 passed

    Stage: build
      Stage: publish
        Stage: deploy

          Pipeline passed for 3b9e0708 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