Skip to content

Fix tripleTerm delimiters and associated terminal descriptors. #36

Fix tripleTerm delimiters and associated terminal descriptors.

Fix tripleTerm delimiters and associated terminal descriptors. #36

Triggered via pull request August 2, 2024 16:12
@gkellogggkellogg
opened #53
Status Success
Total duration 14s
Artifacts

add_prs_and_issues_to_project.yml

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

Annotations

1 warning
Add PR and issues to project
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/add-to-project@v0.4.1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/