Skip to content
Server

grammars: early exit when no next_candidates to reject #3214

Sign in to view logs

grammars: early exit when no next_candidates to reject

grammars: early exit when no next_candidates to reject #3214

Triggered via pull request May 18, 2024 17:46
@ochafikochafik
opened #7370
Status Success
Total duration 9m 29s
Artifacts –

server.yml

on: pull_request_target
server-windows
9m 16s
server-windows
Matrix: server
Fit to window
Zoom out
Zoom in