Skip to content

Actions: leanprover-community/queueboard-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
799 workflow runs
799 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Build sanitized analytics snapshot Build sanitized analytics snapshot #135: Scheduled
2m 21s master
master
2m 21s
automatically assign reviewers automatically assign reviewers #76: Scheduled
15s master
master
15s
Build sanitized analytics snapshot Build sanitized analytics snapshot #134: Scheduled
2m 2s master
master
2m 2s
automatically assign reviewers automatically assign reviewers #75: Scheduled
20s master
master
20s
Build sanitized analytics snapshot Build sanitized analytics snapshot #133: Scheduled
1m 59s master
master
1m 59s
automatically assign reviewers automatically assign reviewers #74: Scheduled
26s master
master
26s
fix(zulip_bot): strip leading bot mention in DM messages CI checks #577: Commit 13d3af3 pushed by bryangingechen
1m 45s master
master
1m 45s
fix(zulip_bot): strip leading bot mention in DM messages CI checks #576: Commit 81a1e78 pushed by bryangingechen
1m 44s close-pr-command
close-pr-command
1m 44s
fix(zulip_bot): strip leading bot mention in DM messages CI checks #575: Commit 81a1e78 pushed by bryangingechen
1m 45s close-pr-command
close-pr-command
1m 45s
feat(zulip_bot): close-pr command (#155) CI checks #574: Commit 1894426 pushed by bryangingechen
1m 44s master
master
1m 44s
feat(zulip_bot): close-pr command CI checks #573: Pull request #155 synchronize by bryangingechen
1m 43s close-pr-command
close-pr-command
1m 43s
feat(zulip_bot): react with 👀 on close-pr command when link is issued CI checks #572: Commit c40180b pushed by bryangingechen
1m 45s close-pr-command
close-pr-command
1m 45s
feat(zulip_bot): close-pr command CI checks #571: Pull request #155 synchronize by bryangingechen
1m 44s close-pr-command
close-pr-command
1m 44s
feat(zulip_bot): include comment in DM/log, add timestamp, warn on no… CI checks #570: Commit bc7ecc5 pushed by bryangingechen
1m 44s close-pr-command
close-pr-command
1m 44s
feat(zulip_bot): close-pr command CI checks #569: Pull request #155 synchronize by bryangingechen
1m 42s close-pr-command
close-pr-command
1m 42s
feat(zulip_bot): improve already-closed message on close-pr form CI checks #568: Commit 678dbd6 pushed by bryangingechen
1m 44s close-pr-command
close-pr-command
1m 44s
feat(zulip_bot): close-pr command CI checks #567: Pull request #155 synchronize by bryangingechen
1m 42s close-pr-command
close-pr-command
1m 42s
fix(zulip_bot): wire ZULIP_CLOSE_PR_MUTATIONS_ENABLED into settings CI checks #566: Commit 71d3de8 pushed by bryangingechen
1m 50s close-pr-command
close-pr-command
1m 50s
feat(zulip_bot): close-pr command CI checks #565: Pull request #155 synchronize by bryangingechen
1m 56s close-pr-command
close-pr-command
1m 56s
feat(zulip_bot): add close message for AI-generated PRs CI checks #564: Commit a1664e2 pushed by bryangingechen
1m 40s close-pr-command
close-pr-command
1m 40s
feat(zulip_bot): close-pr command CI checks #563: Pull request #155 synchronize by bryangingechen
1m 41s close-pr-command
close-pr-command
1m 41s
feat(zulip_bot): make pr-body scrollable and link PR title to GitHub CI checks #562: Commit dcd3132 pushed by bryangingechen
1m 42s close-pr-command
close-pr-command
1m 42s
feat(zulip_bot): close-pr command CI checks #561: Pull request #155 synchronize by bryangingechen
1m 56s close-pr-command
close-pr-command
1m 56s
feat(zulip_bot): improve close-pr form layout, timestamps, and full b… CI checks #560: Commit fb28bfe pushed by bryangingechen
1m 52s close-pr-command
close-pr-command
1m 52s
feat(zulip_bot): close-pr command CI checks #559: Pull request #155 synchronize by bryangingechen
1m 41s close-pr-command
close-pr-command
1m 41s