Skip to content

Merge branch 'main' of github.com:randoop/grt-testing #222

Merge branch 'main' of github.com:randoop/grt-testing

Merge branch 'main' of github.com:randoop/grt-testing #222

Triggered via push February 5, 2026 23:39
Status Success
Total duration 1m 7s
Artifacts

make.yml

on: push
Fit to window
Zoom out
Zoom in