Merge Proposal Status
- URL: https://salsa.debian.org/ocaml-team/coq/-/merge_requests/3
- Last scanned: 2023-03-06T23:10
- Status: open
- Run Details
State changes
- 2022-11-29T14:51: success : Succesfully updated
- 2022-11-02T14:40: success : Succesfully updated
- 2022-11-02T04:56: success : Succesfully updated