Skip to content
Performance

feat: prove CNFA.{isEmpty, isUniversal} (#900) #59

Sign in to view logs

feat: prove CNFA.{isEmpty, isUniversal} (#900)

feat: prove CNFA.{isEmpty, isUniversal} (#900) #59

Triggered via push December 19, 2024 16:33
@github-merge-queuegithub-merge-queue[bot]
pushed bdcedcf
main
Status Success
Total duration 1h 50m 2s
Artifacts –

performance.yml

on: push
tools, scaling, and auto-generated stmts
57m 33s
tools, scaling, and auto-generated stmts
Fit to window
Zoom out
Zoom in