chore: CI creates lean-pr-testing-NNNN branches at Std too #12262
leanprover-community-mathlib4-botci.yml
on: pull_request
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
build-Linux release
Expired
|
195 MB |
|