Skip to content

Merge pull request #393 from okp4/fix/open_predicate #1206

Merge pull request #393 from okp4/fix/open_predicate

Merge pull request #393 from okp4/fix/open_predicate #1206

Triggered via push June 24, 2023 16:56
Status Success
Total duration 4m 42s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push
Fit to window
Zoom out
Zoom in