Skip to content

Merge pull request #224 from petermetz/feat-filter-predicate-quantifier #71

Merge pull request #224 from petermetz/feat-filter-predicate-quantifier

Merge pull request #224 from petermetz/feat-filter-predicate-quantifier #71

Triggered via push March 2, 2024 21:28
Status Success
Total duration 42s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in