WIP: Improve CI #338

Draft

Letterus wants to merge 5 commits from Letterus/java-gi:main into main

Letterus commented

2026-03-17 23:05:34 +01:00

First-time contributor

This PR is only to let you know. Getting rid of GitHub for Java won't help much since one subrepo relies on GitHub as well.

Maybe you want to merge the improvement on usage of apt by using apt-get and the related env variable.

This PR is only to let you know. Getting rid of GitHub for Java won't help much since one subrepo relies on GitHub as well. Maybe you want to merge the improvement on usage of `apt` by using `apt-get` and the related env variable.

Letterus added 5 commits

2026-03-17 23:05:36 +01:00

Install JDK using Debian packages instead of GH actions to prevent accessing GitHub. 91ad80757b

Trigger action 21c93ea0be

Try personal repo for testing purposes. ffb35cf0dc

Use apt-get instead of apt. f1f0a3cae7

Try to further improve usage of apt. d15c8ae4ec

This pull request is marked as a work in progress.

This branch is out-of-date with the base branch

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u main:Letterus-main

git switch Letterus-main

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main

git merge --no-ff Letterus-main

git switch Letterus-main

git rebase main

git switch main

git merge --ff-only Letterus-main

git switch Letterus-main

git rebase main

git switch main

git merge --no-ff Letterus-main

git switch main

git merge --squash Letterus-main