Skip to content

🚚 Rename typedprog -> typed_tree #81

🚚 Rename typedprog -> typed_tree

🚚 Rename typedprog -> typed_tree #81

Triggered via push June 7, 2024 04:13
Status Success
Total duration 9m 34s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in