Skip to content
Snippets Groups Projects

Decode PRIM closures

Merged Decode PRIM closures
wip/decode-prim into master
Merged Zubin requested to merge wip/decode-prim into master

seems to have got lost in git confusion when preparing !35 (merged)

Merge request reports

Pipeline #88485 passed

Stage: test

    Pipeline passed for 286c137d on wip/decode-prim

    Approval is optional

    Merged by Matthew PickeringMatthew Pickering 1 year ago (Jan 10, 2024 12:23pm UTC)

    Merge details

    • Changes merged into master with 286c137d.
    • Deleted the source branch.

    Pipeline #88497 passed

    Stage: test

      Pipeline passed for 286c137d 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