Workflow runs · entrius/das-github-mirror · GitHub

Actions

All workflows
Workflows
- Build Build
- Lint Lint
- pr-source-check pr-source-check
- Release (promote test → main) Release (promote test → main)
- Test Test
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

298 workflow runs

298 workflow runs

feat(miners): add cursor pagination to windowed POST pulls/issues endpoints Build #161: Pull request #191 opened by anderdc

35s feat/paginate-windowed-pulls-issues

feat/paginate-windowed-pulls-issues

35s

feat(maintainer): reconcile stored author_association to live GitHub roles Build #160: Pull request #190 synchronize by anderdc

35s feat/maintainer-role-reconciler

feat/maintainer-role-reconciler

35s

feat(maintainer): reconcile stored author_association to live GitHub roles Lint #160: Pull request #190 synchronize by anderdc

35s feat/maintainer-role-reconciler

feat/maintainer-role-reconciler

35s

feat(maintainer): reconcile stored author_association to live GitHub roles Lint #159: Pull request #190 opened by anderdc

19s feat/maintainer-role-reconciler

feat/maintainer-role-reconciler

19s

feat(maintainer): reconcile stored author_association to live GitHub roles Build #159: Pull request #190 opened by anderdc

23s feat/maintainer-role-reconciler

feat/maintainer-role-reconciler

23s

fix(mirror): resolve solved_by_pr from the effective (most-recent) close Lint #158: Pull request #189 opened by JSONbored

34s JSONbored:fix/solved-by-pr-frozen-closedat

JSONbored:fix/solved-by-pr-frozen-closedat

34s

fix(mirror): resolve solved_by_pr from the effective (most-recent) close Build #158: Pull request #189 opened by JSONbored

34s JSONbored:fix/solved-by-pr-frozen-closedat

JSONbored:fix/solved-by-pr-frozen-closedat

34s

Release (promote test → main) Release (promote test → main) #5: Manually run by anderdc

18s test

test

18s

fix(miners): sort pull requests by state-relevant timestamp Build #157: Pull request #187 opened by kiannidev

34s kiannidev:fix/186-miners-pr-state-sort

kiannidev:fix/186-miners-pr-state-sort

34s

fix(miners): sort pull requests by state-relevant timestamp Lint #157: Pull request #187 opened by kiannidev

35s kiannidev:fix/186-miners-pr-state-sort

kiannidev:fix/186-miners-pr-state-sort

35s

fix(miners): case-insensitive joins for review_summary and repos Lint #156: Pull request #185 opened by kiannidev

38s kiannidev:fix/183-miners-case-insensitive-joins

kiannidev:fix/183-miners-case-insensitive-joins

38s

fix(miners): case-insensitive joins for review_summary and repos Build #156: Pull request #185 opened by kiannidev

35s kiannidev:fix/183-miners-case-insensitive-joins

kiannidev:fix/183-miners-case-insensitive-joins

35s

fix(miners): window CLOSED PRs by closed_at instead of created_at Lint #155: Pull request #184 opened by kiannidev

32s kiannidev:fix/182-miners-closed-pr-closed-at

kiannidev:fix/182-miners-closed-pr-closed-at

32s

fix(miners): window CLOSED PRs by closed_at instead of created_at Build #155: Pull request #184 opened by kiannidev

37s kiannidev:fix/182-miners-closed-pr-closed-at

kiannidev:fix/182-miners-closed-pr-closed-at

37s

fix(health): exclude unregistered repos from /api/v1/health Build #154: Pull request #180 opened by jaso0n0818

54s jaso0n0818:fix/health-exclude-unregistered-repos

jaso0n0818:fix/health-exclude-unregistered-repos

54s

fix(health): exclude unregistered repos from /api/v1/health Lint #154: Pull request #180 opened by jaso0n0818

56s jaso0n0818:fix/health-exclude-unregistered-repos

jaso0n0818:fix/health-exclude-unregistered-repos

56s

Release 6/13 Build #152: Pull request #179 opened by LandynDev

27s test

test

27s

Release 6/13 Lint #152: Pull request #179 opened by LandynDev

35s test

test

35s

Release 6/13 pr-source-check #10: Pull request #179 opened by LandynDev

7s test

test

7s

fix(webhook): self-heal PR state drift from missed merge webhooks Lint #151: Pull request #178 opened by LandynDev

33s fix/pr-state-reconciliation

fix/pr-state-reconciliation

33s

fix(webhook): self-heal PR state drift from missed merge webhooks Build #151: Pull request #178 opened by LandynDev

35s fix/pr-state-reconciliation

fix/pr-state-reconciliation

35s

Handle repo label rename/delete Build #150: Pull request #177 opened by grnlemon

26s grnlemon:fix/repo-label-rename-delete

grnlemon:fix/repo-label-rename-delete

26s

Handle repo label rename/delete Lint #150: Pull request #177 opened by grnlemon

29s grnlemon:fix/repo-label-rename-delete

grnlemon:fix/repo-label-rename-delete

29s

fix(admin): enqueue backfill with canonical repos PK Lint #149: Pull request #176 opened by kiannidev

30s kiannidev:fix/175-admin-backfill-canonical-repo-name

kiannidev:fix/175-admin-backfill-canonical-repo-name

30s

fix(admin): enqueue backfill with canonical repos PK Build #149: Pull request #176 opened by kiannidev

27s kiannidev:fix/175-admin-backfill-canonical-repo-name

kiannidev:fix/175-admin-backfill-canonical-repo-name

27s