.github/workflows/pr.yml

Rename N/DFA GeneratedLanguage to AcceptedLanguage #19

Sign in to view logs

Triggered via pull request March 8, 2024 08:38

opened #22

rename-automata-generated-language-to-accepted-language

Status Success

Total duration 8m 52s

Artifacts –

pr.yml

on: pull_request

build-with-elan