Skip to content
ci

Add EBNF grammar as doc comments for TerminalKind and NonterminalKind… #2056

Sign in to view logs

Add EBNF grammar as doc comments for TerminalKind and NonterminalKind…

Add EBNF grammar as doc comments for TerminalKind and NonterminalKind… #2056

Triggered via push December 12, 2024 15:56
@github-merge-queuegithub-merge-queue[bot]
pushed 8eea9e5
main
Status Failure
Total duration 2m 53s
Artifacts –

ci.yml

on: push
ci
2m 43s
ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors
ci
Dev container up failed: Command failed: /bin/sh -c /bin/bash scripts/bin/infra setup (exit code: undefined) The postAttachCommand in the devcontainer.json failed.
ci
Command failed: /bin/sh -c /bin/bash scripts/bin/infra setup