Skip to content
Back to pull request #6616

Grammar optimization: eliminate redundant grammar trees (~4x faster grammar sampling) #1682

Sign in to view logs

Grammar optimization: eliminate redundant grammar trees (~4x faster grammar sampling)

Grammar optimization: eliminate redundant grammar trees (~4x faster grammar sampling) #1682

Triggered via pull request April 11, 2024 19:09
@HanClintoHanClinto
synchronize #6616
Status Success
Total duration 13m 3s
Artifacts –

server.yml

on: pull_request_target
server-windows
7m 22s
server-windows
Matrix: server
Fit to window
Zoom out
Zoom in