Skip to content

Merge branch 'main' of github.com:sourcemeta-research/codegen #10

Merge branch 'main' of github.com:sourcemeta-research/codegen

Merge branch 'main' of github.com:sourcemeta-research/codegen #10

Triggered via push January 9, 2026 21:20
Status Success
Total duration 3m 16s
Artifacts

ci.yml

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