Skip to content

chore(cmd): rename main.ri -> rivet.ri #192

chore(cmd): rename main.ri -> rivet.ri

chore(cmd): rename main.ri -> rivet.ri #192

Triggered via push December 25, 2023 01:09
Status Success
Total duration 37s
Artifacts
ubuntu-clang
27s
ubuntu-clang
ubuntu-gcc
11s
ubuntu-gcc
Fit to window
Zoom out
Zoom in