feat: label for skipping testbed CI in PRs

leanprover / reservoir

Package registry for Lean/Lake.

https://reservoir.lean-lang.org

Apache License 2.0

16 stars 1 forks source link

Closed tydeu closed 8 months ago

github-actions[bot] commented 8 months ago