Merge Proposal Status
- URL: https://salsa.debian.org/haskell-team/agda-stdlib/-/merge_requests/2
- Can be merged
- Last scanned: 2022-12-13T07:07
- Status: Merged at 2022-11-28T12:12 by jelmer
- Run Details
State changes
- 2022-11-12T14:51: success : Success
- 2022-11-11T07:28: success : Success
- 2022-11-10T09:38: success : Success
- 2022-11-04T20:14: success : Success
- 2022-11-04T07:41: success : Success
- 2022-11-03T11:05: success : Succesfully updated
- 2022-11-03T00:29: success : Succesfully updated