Skip to content

Merge branch 'main' into develop #157

Merge branch 'main' into develop

Merge branch 'main' into develop #157

Triggered via push November 28, 2024 14:02
Status Success
Total duration 4m 39s
Artifacts

benchmark.yml

on: push
Run Schematron benchmark
4m 30s
Run Schematron benchmark
Fit to window
Zoom out
Zoom in