Skip to content
Halmos

Merge pull request #719 from maximevtush/main #161

Sign in to view logs

Merge pull request #719 from maximevtush/main

Merge pull request #719 from maximevtush/main #161

Triggered via push February 10, 2025 16:13
@MathisGDMathisGD
pushed ee8ec10
main
Status Success
Total duration 7m 38s
Artifacts –

halmos.yml

on: push
verify
7m 28s
verify
Fit to window
Zoom out
Zoom in