Skip to content

Merge branch 'master' of github.com:objectionary/reo #542

Merge branch 'master' of github.com:objectionary/reo

Merge branch 'master' of github.com:objectionary/reo #542

Triggered via push March 26, 2024 04:45
Status Success
Total duration 33s
Artifacts

xcop.yml

on: push
Fit to window
Zoom out
Zoom in