Merge Proposal Status

• URL: https://salsa.debian.org/ocaml-team/frama-c/-/merge_requests/4 Refresh
• Can be merged
• Last scanned: 2023-03-04T10:46
• Status: Merged at 2022-12-28T20:16 by treinen
• Run Details

State changes

• 2022-12-27T23:00: success : Succesfully updated
• 2022-12-05T21:04: success : Success
• 2022-11-14T23:16: success : Success
• 2022-11-14T10:03: success : Success
• 2022-11-12T14:02: success : Success
• 2022-11-11T06:40: success : Success
• 2022-11-10T09:23: success : Success
• 2022-11-04T19:18: success : Success
• 2022-11-04T07:04: success : Success
• 2022-10-23T20:22: success : Success
• 2022-10-23T20:19: success : Success
• 2022-10-23T20:18: success : Success
• 2022-08-27T06:58: success : Succesfully updated
• 2022-08-27T04:56: success : Succesfully updated
• 2022-04-14T14:20: success : Succesfully updated
• 2022-04-14T14:18: success : Success
• 2022-03-24T08:33: success : Success