search

leanprover-community / lean4-metaprogramming-book

https://leanprover-community.github.io/lean4-metaprogramming-book/
Apache License 2.0
204 stars 47 forks source link

Run CI on PRs that come from forks #107 #127

Closed Seasawher closed 6 months ago

Seasawher commented 6 months ago

resolve #107

Julian commented 6 months ago

It looks like we already guard the two workflows to only deploy on refs/head/master, so this does look like it's all that's needed. Thanks again!