Skip to content

Comments

github-ci: update package list before installing#119

Merged
kdj0c merged 1 commit intoAetf:developfrom
kdj0c:fix_ci
Jul 9, 2025
Merged

github-ci: update package list before installing#119
kdj0c merged 1 commit intoAetf:developfrom
kdj0c:fix_ci

Conversation

@kdj0c
Copy link
Collaborator

@kdj0c kdj0c commented Jul 9, 2025

It should fix some instability if the package list is a bit outdated.

It should fix some instability if the package list is a bit outdated.

Signed-off-by: Jocelyn Falempe <[email protected]>
@kdj0c kdj0c merged commit b90eab1 into Aetf:develop Jul 9, 2025
1 check passed
@kdj0c kdj0c deleted the fix_ci branch October 10, 2025 09:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant