Skip to content

Merge pull request #2462 from typelevel/mergify_more #927

Merge pull request #2462 from typelevel/mergify_more

Merge pull request #2462 from typelevel/mergify_more #927

Triggered via push June 27, 2026 15:27
Status Success
Total duration 8s
Artifacts

clean.yml

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