Skip to content

Actually ignore missing main, like the comment says.#560

Merged
AmyrAhmady merged 1 commit intomasterfrom
ignore-main-pr
Dec 30, 2022
Merged

Actually ignore missing main, like the comment says.#560
AmyrAhmady merged 1 commit intomasterfrom
ignore-main-pr

Commits

Commits on Dec 30, 2022