Skip to content

missed some places to change mk-signal.args to mk-signal/args #120

missed some places to change mk-signal.args to mk-signal/args

missed some places to change mk-signal.args to mk-signal/args #120

Triggered via push December 20, 2023 03:09
Status Success
Total duration 8m 1s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yaml

on: push
Build on Racket Release without Rhombus Support
45s
Build on Racket Release without Rhombus Support
Build on Racket Snapshot with Rhombus Support
7m 52s
Build on Racket Snapshot with Rhombus Support
Fit to window
Zoom out
Zoom in