Skip to content
Snippets Groups Projects

Add lemma `join_app`.

Merged Add lemma `join_app`.
robbert/join_app into master
Merged Robbert Krebbers requested to merge robbert/join_app into master

Merge request reports

Merge request pipeline #97742 passed

Stage: build

    Merge request pipeline passed for dcbd66a5

    Approval is optional

    Merged by Robbert KrebbersRobbert Krebbers 1 year ago (Mar 5, 2024 6:15am UTC)

    Merge details

    • Changes merged into master with 62680a79.
    • Deleted the source branch.

    Pipeline #97943 passed

    Stage: build

      Pipeline passed for 62680a79 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