Skip to content

Another set of GA changes#135

Merged
hrw merged 4 commits intomasterfrom
ga-changes
Sep 30, 2025
Merged

Another set of GA changes#135
hrw merged 4 commits intomasterfrom
ga-changes

Conversation

@hrw
Copy link
Owner

@hrw hrw commented Sep 30, 2025

I am not an expert when it comes to Github Actions. Especially when it comes to dependencies between jobs and workflows.

Used Gemini AI.

hrw added 4 commits September 30, 2025 10:44
They both need to be one workflow, but separate jobs.

Now, the 'update-tables' job runs, sets variables via outputs and runs
creation of PR only on schedule/manual run and only if there are any
changes other than kernel version.
Dropped traces of virtualenv, handle HTML file as an artifact to share
between workflows.
Let build be just build/test. Perfect for PR checks.

Publish has a copy of steps from build to make things easier.
@hrw hrw merged commit 9ab7b72 into master Sep 30, 2025
4 checks passed
@hrw hrw deleted the ga-changes branch September 30, 2025 09:03
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

Comments