Merge Proposal Status
- URL: https://salsa.debian.org/ocaml-team/prooftree/-/merge_requests/2
- Can be merged
- Last scanned: 2023-03-06T23:08
- Status: open
- Run Details
State changes
- 2023-02-01T00:31: success : Succesfully updated
- 2022-12-24T09:24: success : Succesfully updated
- 2022-11-02T13:37: success : Succesfully updated
- 2022-11-02T11:25: success : Succesfully updated