Skip to content
Snippets Groups Projects

proof-state recorder tweaks and fixes

Merged proof-state recorder tweaks and fixes
bbb/prosa:proof-state-rec-fixes into master
Merged Björn Brandenburg requested to merge bbb/prosa:proof-state-rec-fixes into master

These patches are already part of !114 (merged), but split out here to move ahead without waiting for the other parts !114 (merged) to be revised first.

Merge request reports

Checking pipeline status.

Approval is optional

Merged by Björn BrandenburgBjörn Brandenburg 4 years ago (Sep 22, 2020 11:01am UTC)

Merge details

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

Pipeline #34406 passed

Stage: build
    Stage: process

      Pipeline passed for bd37be63 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