Skip to content
Snippets Groups Projects

always add Proof. after Restart.

Merged always add Proof. after Restart.
ralf/restart into master
All threads resolved!
Merged Ralf Jung requested to merge ralf/restart into master
All threads resolved!

We did this in Iris, we should also do it here.

Merge request reports

Merge request pipeline #99432 passed

Stage: build

Merge request pipeline passed for 2d9a7ce0

Approval is optional

Merged by Ralf JungRalf Jung 1 year ago (Apr 3, 2024 3:44pm UTC)

Merge details

  • Changes merged into master with a91260bd.
  • Deleted the source branch.

Pipeline #99434 passed

Stage: build

Pipeline passed for a91260bd 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
  • Ralf Jung added 1 commit

    added 1 commit

    • 80c6d15a - always add Proof. after Restart.

    Compare with previous version

  • Ralf Jung added 1 commit

    added 1 commit

    • 61a3e712 - always add Proof. after Restart.

    Compare with previous version

  • Ralf Jung resolved all threads

    resolved all threads

  • Ralf Jung added 3 commits

    added 3 commits

    Compare with previous version

  • Robbert Krebbers
    Robbert Krebbers @robbertkrebbers ·
    Owner

    LGTM!

  • Ralf Jung mentioned in commit a91260bd

    mentioned in commit a91260bd

  • Ralf Jung merged

    merged

    • Please register or sign in to reply