Skip to content

Merge pull request #101 from andreasscherbaum/regina_obe #286

Merge pull request #101 from andreasscherbaum/regina_obe

Merge pull request #101 from andreasscherbaum/regina_obe #286

Triggered via push December 31, 2023 21:35
Status Success
Total duration 12s
Artifacts

verify-data.yml

on: push
Verify data
3s
Verify data
Fit to window
Zoom out
Zoom in