java-gi/java-gi

Fork 1

WIP: Improve CI #338

Closed

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

jwharm referenced this pull request from a commit

2026-03-28 11:41:27 +01:00

Improve CI action

jwharm commented

2026-03-28 11:44:06 +01:00

Owner

I've added the apt improvements you suggested. Thanks!

I've added the `apt` improvements you suggested. Thanks!

jwharm closed this pull request

2026-03-28 11:44:06 +01:00

Pull request closed

Please reopen this pull request to perform a merge.

No reviewers

No labels

No milestone

No project

No assignees

2 participants

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

java-gi/java-gi!338

No description provided.

Rows
Columns