Merge Proposal Status

• URL: https://github.com/CafeOBJ/cafeobj/pull/5 Refresh
• Can be merged
• Last scanned: 2024-02-01T16:53
• Status: open
• Run Details

State changes

• 2022-11-02T21:23: success : Succesfully updated
• 2022-11-02T03:21: success : Succesfully updated