Skip to content

CI: no bors, no markdown#805

Merged
jswrenn merged 2 commits into
rust-itertools:masterfrom
Philippe-Cholet:ci-bors-markdown
Nov 22, 2023
Merged

CI: no bors, no markdown#805
jswrenn merged 2 commits into
rust-itertools:masterfrom
Philippe-Cholet:ci-bors-markdown

No CI if only for markdown changes

0cff99d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs