Skip to content
CI at GitHub

PhysicsSpace: add getter and setter for the contact manager #1537

Sign in to view logs

PhysicsSpace: add getter and setter for the contact manager

PhysicsSpace: add getter and setter for the contact manager #1537

Triggered via push November 23, 2023 23:22
@stephengoldstephengold
pushed 340871d
master
Status Success
Total duration 6m 20s
Artifacts –

push.yml

on: push
Java8-Linux
2m 44s
Java8-Linux
Java11-Linux
2m 56s
Java11-Linux
Java11-MacOS
4m 5s
Java11-MacOS
Java11-Windows
2m 55s
Java11-Windows
Java17-MacOS
5m 49s
Java17-MacOS
Java21-Linux
2m 50s
Java21-Linux
Java21-MacOS
5m 26s
Java21-MacOS
Java21-Windows
2m 55s
Java21-Windows
Fit to window
Zoom out
Zoom in