Skip to content

Actions: leanprover-community/queueboard

Actions

Gather stats for a single PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gather_stats_single.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

mathlib_ping Gather stats for a single PR #21: Repository dispatch triggered by jcommelin
June 10, 2025 14:15 15s
June 10, 2025 14:15 15s
mathlib_ping Gather stats for a single PR #20: Repository dispatch triggered by jcommelin
June 10, 2025 14:13 10s
June 10, 2025 14:13 10s
mathlib_ping Gather stats for a single PR #19: Repository dispatch triggered by jcommelin
June 8, 2025 09:33 19s
June 8, 2025 09:33 19s
mathlib_ping Gather stats for a single PR #18: Repository dispatch triggered by jcommelin
June 7, 2025 15:14 1m 16s
June 7, 2025 15:14 1m 16s
mathlib_ping Gather stats for a single PR #17: Repository dispatch triggered by jcommelin
March 17, 2025 18:45 11s
March 17, 2025 18:45 11s
mathlib_ping Gather stats for a single PR #16: Repository dispatch triggered by jcommelin
March 17, 2025 18:42 16s
March 17, 2025 18:42 16s
mathlib_ping Gather stats for a single PR #15: Repository dispatch triggered by jcommelin
March 17, 2025 18:39 11s
March 17, 2025 18:39 11s
mathlib_ping Gather stats for a single PR #14: Repository dispatch triggered by jcommelin
March 17, 2025 18:37 11s
March 17, 2025 18:37 11s
mathlib_ping Gather stats for a single PR #13: Repository dispatch triggered by jcommelin
March 17, 2025 18:36 13s
March 17, 2025 18:36 13s
mathlib_ping Gather stats for a single PR #12: Repository dispatch triggered by jcommelin
March 17, 2025 18:32 13s
March 17, 2025 18:32 13s
mathlib_ping Gather stats for a single PR #11: Repository dispatch triggered by jcommelin
March 17, 2025 18:30 13s
March 17, 2025 18:30 13s
mathlib_ping Gather stats for a single PR #10: Repository dispatch triggered by jcommelin
March 17, 2025 13:40 10s
March 17, 2025 13:40 10s
mathlib_ping Gather stats for a single PR #9: Repository dispatch triggered by jcommelin
March 17, 2025 13:36 15s
March 17, 2025 13:36 15s
mathlib_ping Gather stats for a single PR #8: Repository dispatch triggered by jcommelin
March 17, 2025 13:30 1m 35s
March 17, 2025 13:30 1m 35s
mathlib_ping Gather stats for a single PR #7: Repository dispatch triggered by jcommelin
March 17, 2025 13:29 1m 44s
March 17, 2025 13:29 1m 44s
mathlib_ping Gather stats for a single PR #6: Repository dispatch triggered by jcommelin
March 17, 2025 13:28 1s
March 17, 2025 13:28 1s
mathlib_ping Gather stats for a single PR #5: Repository dispatch triggered by jcommelin
March 17, 2025 10:05 2m 46s
March 17, 2025 10:05 2m 46s
mathlib_ping Gather stats for a single PR #4: Repository dispatch triggered by jcommelin
October 22, 2024 11:20 2m 55s
October 22, 2024 11:20 2m 55s
mathlib_ping Gather stats for a single PR #3: Repository dispatch triggered by jcommelin
October 22, 2024 09:33 45s
October 22, 2024 09:33 45s
start on webhook activated workflow for gathering PR stats Gather stats for a single PR #2: Commit 9dc4436 pushed by jcommelin
October 22, 2024 08:44 Failure master
master
October 22, 2024 08:44 Failure
start on webhook activated workflow for gathering PR stats Gather stats for a single PR #1: Commit 397ab44 pushed by jcommelin
October 22, 2024 08:39 Failure jmc-webhooks
jmc-webhooks
October 22, 2024 08:39 Failure