Skip to content
Auto-release on PR merge

Merge pull request #180 from con/pragmata #85

Sign in to view logs

Merge pull request #180 from con/pragmata

Merge pull request #180 from con/pragmata #85

Triggered via push November 9, 2023 16:12
@yarikopticyarikoptic
pushed 44068cc
master
Status Success
Total duration 4m 29s
Artifacts –

release.yml

on: push
auto-release
22s
auto-release
Fit to window
Zoom out
Zoom in