Skip to content
openMINDS_upstream

Rename 'isSuccessorOf' to 'isPrecededBy' #604

Sign in to view logs

Rename 'isSuccessorOf' to 'isPrecededBy'

Rename 'isSuccessorOf' to 'isPrecededBy' #604

Triggered via push November 7, 2025 14:53
@lzehllzehl
pushed d25ddd6
lzehl_switchRP-PRVconnection
Status Success
Total duration 6s
Artifacts –

openMINDS_upstream.yml

on: push
build
3s
build
Fit to window
Zoom out
Zoom in