Skip to content

Merge pull request #293 from grml/zeha/no-satisfy #527

Merge pull request #293 from grml/zeha/no-satisfy

Merge pull request #293 from grml/zeha/no-satisfy #527

Triggered via push January 29, 2025 23:05
Status Success
Total duration 14s
Artifacts

pr-review.yml

on: push
shellcheck main code
8s
shellcheck main code
shellcheck test scripts
4s
shellcheck test scripts
Fit to window
Zoom out
Zoom in