Skip to content

Actions: speced/spec-maintenance

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
780 workflow runs
780 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a description of the triage labels. Publish to Pages #23: Commit 94ad1dc pushed by jyasskin
October 26, 2023 23:08 2h 16m 27s main
main
October 26, 2023 23:08 2h 16m 27s
Show overall SLO violations, sorted by severity and count. Publish to Pages #22: Commit aa92695 pushed by jyasskin
October 26, 2023 22:47 21m 7s main
main
October 26, 2023 22:47 21m 7s
Simplify the Instant zod type. Publish to Pages #21: Commit 316e23a pushed by jyasskin
October 26, 2023 22:02 45m 32s main
main
October 26, 2023 22:02 45m 32s
Cache the scan results. Publish to Pages #20: Commit 479cda7 pushed by jyasskin
October 26, 2023 21:49 12m 22s main
main
October 26, 2023 21:49 12m 22s
Oops, there's a 100-node limit. Publish to Pages #19: Commit 304ee75 pushed by jyasskin
October 26, 2023 21:26 1h 53m 44s main
main
October 26, 2023 21:26 1h 53m 44s
Batch many issues into the query for their initial comments. Publish to Pages #18: Commit 5cf79a7 pushed by jyasskin
October 26, 2023 21:12 38s main
main
October 26, 2023 21:12 38s
Pull in a fixed version of plugin-throttling. Publish to Pages #17: Commit aa62a56 pushed by jyasskin
October 25, 2023 23:02 3h 1m 0s main
main
October 25, 2023 23:02 3h 1m 0s
Retry twice, in case clocks don't match perfectly. Publish to Pages #16: Commit 335b28e pushed by jyasskin
October 23, 2023 22:43 2h 15m 36s main
main
October 23, 2023 22:43 2h 15m 36s
Summarize statistics, and propose SLOs for triage and 2 priorities. Publish to Pages #15: Commit 7f361f1 pushed by jyasskin
October 23, 2023 20:48 1h 0m 31s main
main
October 23, 2023 20:48 1h 0m 31s
Count PR reviews as comments, and ignore PRs that didn't get comments… Publish to Pages #14: Commit 2923696 pushed by jyasskin
October 21, 2023 04:57 32s main
main
October 21, 2023 04:57 32s
Exclude comments on one's own issues from the metrics. Publish to Pages #13: Commit 34cb88c pushed by jyasskin
October 20, 2023 00:07 45s main
main
October 20, 2023 00:07 45s
Propose a Triage SLO, with some data backing it. Publish to Pages #12: Commit 2886121 pushed by jyasskin
October 19, 2023 22:22 12m 4s main
main
October 19, 2023 22:22 12m 4s
Linearize the spec scanning Publish to Pages #11: Commit 5e87ebf pushed by jyasskin
October 19, 2023 19:33 5m 58s main
main
October 19, 2023 19:33 5m 58s
Avoid retrying rate limit failures. Publish to Pages #10: Commit e5c7c6c pushed by jyasskin
October 19, 2023 19:18 1m 22s main
main
October 19, 2023 19:18 1m 22s
Move from Bottleneck to octokit's throttling plugin. Publish to Pages #9: Commit f49177c pushed by jyasskin
October 19, 2023 18:59 2m 15s main
main
October 19, 2023 18:59 2m 15s
Remove concurrent GH requests from CI to improve its chances of finis… Publish to Pages #8: Commit 1e425e8 pushed by jyasskin
October 19, 2023 15:54 2m 29s main
main
October 19, 2023 15:54 2m 29s
Pass the GITHUB_TOKEN to the repo scanner. Publish to Pages #7: Commit f45e3ac pushed by jyasskin
October 19, 2023 15:40 1m 4s main
main
October 19, 2023 15:40 1m 4s
Add /time-to-comment to show how fast repositories are commenting on … Publish to Pages #6: Commit 292f3cd pushed by jyasskin
October 19, 2023 00:10 31s main
main
October 19, 2023 00:10 31s
Format issues better, and sort them. Publish to Pages #5: Commit 284855a pushed by jyasskin
October 17, 2023 23:55 1m 32s main
main
October 17, 2023 23:55 1m 32s
Draw bug age distributions as box & whisker plots. Publish to Pages #4: Commit dc51758 pushed by jyasskin
October 17, 2023 23:47 1m 49s main
main
October 17, 2023 23:47 1m 49s
Stop requiring a config.json, and set up command line parsing. Publish to Pages #3: Commit 953fc02 pushed by jyasskin
October 17, 2023 03:56 1m 34s main
main
October 17, 2023 03:56 1m 34s
Pages action: Install pnpm & install deps for frontend. Publish to Pages #2: Commit 79b01ab pushed by jyasskin
October 17, 2023 03:28 25s main
main
October 17, 2023 03:28 25s
Publish the built site to GH Pages Publish to Pages #1: Commit 90532d2 pushed by jyasskin
October 17, 2023 03:14 21s main
main
October 17, 2023 03:14 21s
pages build and deployment pages-build-deployment #7: by jyasskin
October 16, 2023 23:40 56s
October 16, 2023 23:40 56s
pages build and deployment pages-build-deployment #6: by jyasskin
October 12, 2023 21:33 57s
October 12, 2023 21:33 57s
ProTip! You can narrow down the results and go further in time using created:<2023-10-12 or the other filters available.