Skip to content
Add pull requests and issues to projects

Remove NIL terminal, which is unused in the grammar. #48

Sign in to view logs

Remove NIL terminal, which is unused in the grammar.

Remove NIL terminal, which is unused in the grammar. #48

Triggered via pull request June 5, 2024 16:48
@gkellogggkellogg
opened #60
Status Success
Total duration 16s
Artifacts –

add_prs_and_issues_to_project.yml

on: pull_request_target
Add PR and issues to project
5s
Add PR and issues to project
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Add PR and issues to project
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/add-to-project@v0.4.1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.