Skip to content
Branch Push CI

Merge branch 'main' into update-cost-expr-naming #566

Sign in to view logs

Merge branch 'main' into update-cost-expr-naming

Merge branch 'main' into update-cost-expr-naming #566

Triggered via push September 17, 2024 15:32
@brynpickeringbrynpickering
pushed 8adf258
update-cost-expr-naming
Status Success
Total duration 8m 49s
Artifacts –

commit-ci.yml

on: push
test
8m 38s
test
Fit to window
Zoom out
Zoom in