Skip to content

Merge pull request #40 from usdot-jpo-ode/release_q3 #16

Merge pull request #40 from usdot-jpo-ode/release_q3

Merge pull request #40 from usdot-jpo-ode/release_q3 #16

Triggered via push November 29, 2023 21:00
Status Success
Total duration 6m 20s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
asn1-codec
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
asn1-codec
No files were found with the provided path: /__w/asn1-codec/asn1-codec/coverage/. No artifacts will be uploaded.
asn1-codec
No files were found with the provided path: /__w/asn1-codec/asn1-codec/bw-output. No artifacts will be uploaded.