Skip to content
Require “Allow Edits”

Editorial: Eliminate order-disambiguation from Annex B Pattern-grammar #3628

Sign in to view logs

Editorial: Eliminate order-disambiguation from Annex B Pattern-grammar

Editorial: Eliminate order-disambiguation from Annex B Pattern-grammar #3628

Triggered via pull request August 13, 2024 02:25
@jmdyckjmdyck
synchronize #2445
jmdyck:annex_B_pattern_ambig
Status Success
Total duration 14s
Artifacts –

require-allow-edits.yml

on: pull_request
Require “Allow Edits”
5s
Require “Allow Edits”
Fit to window
Zoom out
Zoom in