Skip to content

Don't run CI twice (on push AND pull request)#2049

Merged
yhirose merged 1 commit intoyhirose:masterfrom
falbrechtskirchinger:fix-ci
Feb 11, 2025
Merged

Don't run CI twice (on push AND pull request)#2049
yhirose merged 1 commit intoyhirose:masterfrom
falbrechtskirchinger:fix-ci

Commits

Commits on Feb 11, 2025