Skip to content

Merge pull request #145 from numtide/merge-when-green-joerg #37

Merge pull request #145 from numtide/merge-when-green-joerg

Merge pull request #145 from numtide/merge-when-green-joerg #37

Triggered via push November 5, 2024 10:51
Status Success
Total duration 1m 6s
Artifacts

gh-pages.yml

on: push
Fit to window
Zoom out
Zoom in