Skip to content

Merge pull request #20 from sebastian-toepfer/keyword_ranges #66

Merge pull request #20 from sebastian-toepfer/keyword_ranges

Merge pull request #20 from sebastian-toepfer/keyword_ranges #66

Triggered via push October 3, 2023 16:28
Status Success
Total duration 3m 22s
Artifacts

build.yml

on: push
build  /  build and analyze
3m 12s
build / build and analyze
Fit to window
Zoom out
Zoom in