Skip to content

Modify checker trace to include statement span #1188

Modify checker trace to include statement span

Modify checker trace to include statement span #1188

Triggered via pull request November 26, 2024 18:04
Status Success
Total duration 2m 53s
Artifacts 1

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
fixpoint
6.53 MB