Skip to content

Extend user-defined relations to include the index of time #1467

Extend user-defined relations to include the index of time

Extend user-defined relations to include the index of time #1467

Triggered via pull request October 17, 2024 10:35
Status Success
Total duration 1m 0s
Artifacts

publish.yaml

on: pull_request
publish  /  publish
48s
publish / publish
Fit to window
Zoom out
Zoom in