Skip to content
Halmos

Merge pull request #692 from daejunpark/halmos/update-v2 #75

Sign in to view logs

Merge pull request #692 from daejunpark/halmos/update-v2

Merge pull request #692 from daejunpark/halmos/update-v2 #75

Triggered via push September 27, 2024 21:43
@MathisGDMathisGD
pushed dee266f
main
Status Success
Total duration 10m 47s
Artifacts –

halmos.yml

on: push
verify
10m 36s
verify
Fit to window
Zoom out
Zoom in