Skip to content

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

Extend user-defined relations to include the index of time

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

Triggered via pull request October 17, 2024 10:48
Status Success
Total duration 52s
Artifacts

publish.yaml

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