Skip to content

Merge branch 'better-mappings' #76

Merge branch 'better-mappings'

Merge branch 'better-mappings' #76

Triggered via push January 28, 2026 09:58
Status Success
Total duration 14s
Artifacts
release-please
11s
release-please
build  /  test-frontend
build / test-frontend
build  /  test-rust
build / test-rust
Matrix: build / build
Waiting for pending jobs
Fit to window
Zoom out
Zoom in