Skip to content

Clean-up CI file#15

Merged
mjacobse merged 1 commit into
mainfrom
clean_up_ci_file
Jun 6, 2026
Merged

Clean-up CI file#15
mjacobse merged 1 commit into
mainfrom
clean_up_ci_file

Conversation

@mjacobse

@mjacobse mjacobse commented Jun 6, 2026

Copy link
Copy Markdown
Owner
  • Remove unused env variable
  • Remove unused submodule setting
  • Update actions/checkout to v6

* Remove unused env variable
* Remove unused submodule setting
* Update actions/checkout to v6
@mjacobse mjacobse merged commit 0a31589 into main Jun 6, 2026
4 checks passed
@mjacobse mjacobse deleted the clean_up_ci_file branch June 6, 2026 17:47
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