8000 sanity-check opened PRs · Workflow runs · cpehle/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: cpehle/lean4

Actions

sanity-check opened PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
0 workflow runs
0 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GitHub Actions

This workflow has no runs yet.
0