Skip to content

unix/main: Use standard pyexec/repl for unix & windows ports. #810

unix/main: Use standard pyexec/repl for unix & windows ports.

unix/main: Use standard pyexec/repl for unix & windows ports. #810

Triggered via push August 13, 2024 20:20
Status Success
Total duration 3m 3s
Artifacts

ports_rp2.yml

on: push
Fit to window
Zoom out
Zoom in