Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cleanup: NumAtt$ & NumDef$, part 5 #6882

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
+127 −127

Merge branch 'master' into rb-cleanup_numattdef_5

36225e3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Cleanup: NumAtt$ & NumDef$, part 5 #6882

Merge branch 'master' into rb-cleanup_numattdef_5
36225e3
Select commit
Loading
Failed to load commit list.
Test with Java 17
succeeded Feb 22, 2025 in 2m 3s
Set up job
0s
Run actions/checkout@v3
14s
Setup java
6s
Install virtual framebuffer (if not available) to allow running GUI on a headless server
0s
Run tests in virtual framebuffer
1m 41s
Post Setup java
0s
Post Run actions/checkout@v3
0s
Complete job
0s