Skip to content
Performance

feat: prove CNFA.{determinize, neg} (#897) #51

Sign in to view logs

feat: prove CNFA.{determinize, neg} (#897)

feat: prove CNFA.{determinize, neg} (#897) #51

Triggered via push December 17, 2024 15:55
@github-merge-queuegithub-merge-queue[bot]
pushed 9007b04
main
Status Success
Total duration 2h 36m 57s
Artifacts –

performance.yml

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