Skip to content

Ci update versions#739

Merged
jaagut merged 5 commits intomainfrom
ci_update_version
Feb 5, 2026
Merged

Ci update versions#739
jaagut merged 5 commits intomainfrom
ci_update_version

Conversation

@jaagut
Copy link
Member

@jaagut jaagut commented Jan 22, 2026

Summary

Proposed changes

  • Use the ubuntu-slim runner for the formatting task
  • Update action versions manually
  • Enable dependabot to bump action versions

Related issues

Checklist

  • Run just build
  • Write documentation
  • Test on your machine
  • Test on the robot
  • Create issues for future work
  • Triage this PR and label it

@github-project-automation github-project-automation bot moved this to 🆕 New in Software Jan 22, 2026
@jaagut jaagut self-assigned this Jan 22, 2026
@jaagut jaagut moved this from 🆕 New to 👀 In review in Software Jan 22, 2026
@jaagut jaagut requested review from ChlukasX and Flova January 22, 2026 20:26
@jaagut jaagut mentioned this pull request Jan 27, 2026
6 tasks
on:
schedule:
- cron: '0 0 * * *'
- cron: '12 3 * * *'
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why do you wanna run at 3:12?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Because everything else runs at 0:00, which unnecessarily increases load in the cloud. That's why I chose a random time. :)

@jaagut jaagut merged commit 3e326c5 into main Feb 5, 2026
2 checks passed
@jaagut jaagut deleted the ci_update_version branch February 5, 2026 15:14
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in Software Feb 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

3 participants