Merge Proposal Status

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

State changes

• 2023-01-10T03:27: success : Succesfully updated
• 2022-11-12T15:34: success : Success
• 2022-11-11T08:17: success : Success
• 2022-11-10T09:47: success : Success
• 2022-11-04T21:00: success : Success
• 2022-11-04T08:33: success : Success
• 2022-11-01T01:17: success : Succesfully updated
• 2022-10-31T11:29: success : Success