Skip to content
Performance

feat: prove CNFA.{isEmpty, isUniversal} #56

Sign in to view logs

feat: prove CNFA.{isEmpty, isUniversal}

feat: prove CNFA.{isEmpty, isUniversal} #56

Triggered via pull request December 19, 2024 13:37
@ineolineol
opened #900
auto-univ
Status Cancelled
Total duration 32m 58s
Artifacts –

performance.yml

on: pull_request
tools, scaling, and auto-generated stmts
0s
tools, scaling, and auto-generated stmts
Fit to window
Zoom out
Zoom in

Annotations

1 error
tools, scaling, and auto-generated stmts
Canceling since a higher priority waiting request for 'Performance-900' exists