FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[Original HTTPS Page]
lean4/.github/workflows at master · leanprover/lean4 · GitHub
Uh oh!
There was an error while loading.
Please reload this page
.
leanprover
/
lean4
Public
Notifications
You must be signed in to change notification settings
Fork
952
Star
8.9k
Code
Issues
975
Pull requests
628
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Expand file tree
Breadcrumbs
lean4
/
.github
/
workflows
/
Copy path
Directory actions
More options
More options
Directory actions
More options
More options
Latest commit
History
History
History
Breadcrumbs
lean4
/
.github
/
workflows
/
Copy path
Folders and files
Name
Name
Last commit message
Last commit date
parent directory
..
actionlint.yml
actionlint.yml
adaptation-pr.yml
adaptation-pr.yml
awaiting-manual.yml
awaiting-manual.yml
awaiting-mathlib.yml
awaiting-mathlib.yml
backport.yml
backport.yml
build-template.yml
build-template.yml
check-empty-pr.yml
check-empty-pr.yml
check-prelude.yml
check-prelude.yml
check-stage0.yml
check-stage0.yml
check-stdlib-flags.yml
check-stdlib-flags.yml
ci.yml
ci.yml
copyright-header.yml
copyright-header.yml
grove.yml
grove.yml
jira.yml
jira.yml
labels-from-comments.yml
labels-from-comments.yml
pr-body.yml
pr-body.yml
pr-release.yml
pr-release.yml
pr-title.yml
pr-title.yml
restart-on-label.yml
restart-on-label.yml
stale.yml
stale.yml
update-stage0.yml
update-stage0.yml
Back
|
FazBrowse Home
|
New Git URL