-
Notifications
You must be signed in to change notification settings - Fork 9
Pull requests: leanprover-community/queueboard-core
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps): bump astral-sh/setup-uv from 8.2.0 to 9.0.0
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#193
opened Aug 1, 2026 by
dependabot
Bot
Loading…
chore(deps): bump actions/checkout from 7.0.0 to 7.0.1
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#192
opened Aug 1, 2026 by
dependabot
Bot
Loading…
chore(deps): bump actions/setup-node from 6.4.0 to 7.0.0
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#191
opened Aug 1, 2026 by
dependabot
Bot
Loading…
chore(deps): bump actions/setup-python from 6.3.0 to 7.0.0
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#190
opened Aug 1, 2026 by
dependabot
Bot
Loading…
feat: ask reviewers to confirm assignments, reviewer console page
#188
opened Jul 11, 2026 by
bryangingechen
Contributor
Loading…
feat(site_analytics): app for collecting anonymized visit data for community pages
#149
opened Mar 26, 2026 by
bryangingechen
Contributor
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.