generated from leanprover-community/LeanProject
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: cadake/LeanTQI
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump actions/cache from 4 to 5
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#5
opened Jan 1, 2026 by
dependabot
bot
Loading…
Bump actions/checkout from 4 to 6
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#4
opened Dec 1, 2025 by
dependabot
bot
Loading…
Bump actions/upload-pages-artifact from 3 to 4
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#2
opened Sep 1, 2025 by
dependabot
bot
Loading…
Bump xu-cheng/texlive-action from 2 to 3
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#1
opened Aug 1, 2025 by
dependabot
bot
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.