Skip to content

Actions: leanprover-community/mathlib-ci

Actions

Test pr_check_downstream actions

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test_pr_check_downstream.yml
3 workflow runs
3 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: scripts for !downstream-check PR-validation directive (#37) Test pr_check_downstream actions #3: Commit 99cb894 pushed by bryangingechen
15s master
master
15s
feat: scripts for !downstream-check PR-validation directive Test pr_check_downstream actions #2: Pull request #37 synchronize by marcelolynch
15s marcelo/2026/05/DownstreamPrValidation
marcelo/2026/05/DownstreamPrValidation
15s
feat: scripts for !downstream-check PR-validation directive Test pr_check_downstream actions #1: Pull request #37 synchronize by marcelolynch
13s marcelo/2026/05/DownstreamPrValidation
marcelo/2026/05/DownstreamPrValidation
13s