Skip to content

Merge pull request #1238 from fthomas/topic/customize-mergify-config #436

Merge pull request #1238 from fthomas/topic/customize-mergify-config

Merge pull request #1238 from fthomas/topic/customize-mergify-config #436

Triggered via push December 21, 2023 13:52
Status Success
Total duration 12s
Artifacts

clean.yml

on: push
Delete Artifacts
2s
Delete Artifacts
Fit to window
Zoom out
Zoom in