Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/bundle-lean4lean/./.github/workflows
tree: c77c091d5953e0dee8496e7dbaf776b1f51e6d33 [search]
  1. actionlint.yml
  2. adaptation-pr.yml
  3. awaiting-manual.yml
  4. awaiting-mathlib.yml
  5. backport.yml
  6. build-template.yml
  7. check-empty-pr.yml
  8. check-prelude.yml
  9. check-stage0.yml
  10. check-stdlib-flags.yml
  11. ci.yml
  12. copyright-header.yml
  13. grove.yml
  14. jira.yml
  15. labels-from-comments.yml
  16. pr-body.yml
  17. pr-release.yml
  18. pr-title.yml
  19. restart-on-label.yml
  20. stale.yml
  21. update-stage0.yml