Skip to content

Merge pull request #807 from uni-bremen-agst/fix-edge-colliders #185

Merge pull request #807 from uni-bremen-agst/fix-edge-colliders

Merge pull request #807 from uni-bremen-agst/fix-edge-colliders #185

Triggered via push November 6, 2024 14:53
Status Cancelled
Total duration 2s
Artifacts

axivion.yml

on: push
Run Axivion CI
Run Axivion CI
Fit to window
Zoom out
Zoom in

Annotations

1 error
Axivion Suite
Canceling since a higher priority waiting request for 'refs/heads/master' exists