Skip to content
CI at GitHub

contact filtering is now disabled by default #1689

Sign in to view logs

contact filtering is now disabled by default

contact filtering is now disabled by default #1689

Triggered via push May 9, 2024 23:51
@stephengoldstephengold
pushed 8427411
master
Status Success
Total duration 3m 43s
Artifacts –

push.yml

on: push
Java8-Linux
2m 53s
Java8-Linux
Java11-Linux
3m 20s
Java11-Linux
Java11-Windows
3m 19s
Java11-Windows
Java17-MacOS
3m 35s
Java17-MacOS
Java21-Linux
3m 9s
Java21-Linux
Java21-MacOS
2m 24s
Java21-MacOS
Java21-Windows
3m 4s
Java21-Windows
Fit to window
Zoom out
Zoom in