Skip to content

Merge pull request #102 from andreasscherbaum/regina_obe #289

Merge pull request #102 from andreasscherbaum/regina_obe

Merge pull request #102 from andreasscherbaum/regina_obe #289

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

verify-data.yml

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