Skip to content

Update 20260331#165

Closed
hechth wants to merge 2 commits intoCESNET:mainfrom
hechth:update_20260331
Closed

Update 20260331#165
hechth wants to merge 2 commits intoCESNET:mainfrom
hechth:update_20260331

Conversation

@hechth
Copy link
Copy Markdown
Contributor

@hechth hechth commented Mar 31, 2026

No description provided.

@martenson
Copy link
Copy Markdown
Member

autoupdated in #166

@hechth you really do not need to open these, they open automatically through github CI, do you want to decrease the interval they run in? I can also give you permissions to dispatch this workflow manually if you don't have it already.

Also your PR has more changes than the linked PR because you are running the scripts from an outdated main branch

@martenson martenson closed this Apr 1, 2026
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.

2 participants