Skip to content

Merge pull request #2010 from AlexanderViand:renable-openmp #1438

Merge pull request #2010 from AlexanderViand:renable-openmp

Merge pull request #2010 from AlexanderViand:renable-openmp #1438

Triggered via push July 21, 2025 14:11
Status Success
Total duration 4m 54s
Artifacts

todo.yaml

on: push
insert-backlinks
4m 50s
insert-backlinks
Fit to window
Zoom out
Zoom in