Skip to content
Build package / publish

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

Sign in to view logs

Extend user-defined relations to include the index of time

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

Triggered via pull request July 4, 2023 08:40
@behnam-zakeribehnam-zakeri
synchronize #680
behnam-zakeri:relation-time
Status Success
Total duration 1m 51s
Artifacts –

publish.yaml

on: pull_request
publish  /  publish
1m 36s
publish / publish
Fit to window
Zoom out
Zoom in