Skip to content
Run Tests

feat: enhance Halmos log processing to support new output format with Counterexample and Sequence sections #40

Sign in to view logs

feat: enhance Halmos log processing to support new output format with Counterexample and Sequence sections

feat: enhance Halmos log processing to support new output format with Counterexample and Sequence sections #40

Triggered via pull request August 19, 2025 12:56
@burnerx47burnerx47
synchronize #57
burnerx47:add-halmos-logs-processing
Status Success
Total duration 26s
Artifacts –

test.yml

on: pull_request
test
23s
test
Fit to window
Zoom out
Zoom in