Merge Proposal Status

• URL: https://salsa.debian.org/ocaml-team/ssreflect/-/merge_requests/1 Refresh
• Can be merged
• Last scanned: 2023-03-06T23:04
• Status: open
• Run Details

State changes

• 2022-10-29T02:10: success : Succesfully updated
• 2022-10-03T15:37: success : Succesfully updated
• 2022-09-06T07:25: success : Success