Skip to content
Halmos

Halmos: Few more basic rules #22

Sign in to view logs

Halmos: Few more basic rules

Halmos: Few more basic rules #22

Triggered via pull request April 22, 2024 10:35
@MathisGDMathisGD
synchronize #677
halmos/more-rules
Status Failure
Total duration 24m 14s
Artifacts –

halmos.yml

on: pull_request
verify
24m 2s
verify
Fit to window
Zoom out
Zoom in

Annotations

1 error
verify
Process completed with exit code 1.