Skip to content
Build and test

Comment out check to prevent assertion error, plus add comment #603

Sign in to view logs

Comment out check to prevent assertion error, plus add comment

Comment out check to prevent assertion error, plus add comment #603

Triggered via push January 11, 2024 01:05
@gussmith23gussmith23
pushed 8ce71de
3la-pldi-push-main
Status Failure
Total duration 1m 51s
Artifacts –

build-and-test.yml

on: push
build_and_test
1m 42s
build_and_test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build_and_test
Process completed with exit code 1.
build_and_test
The following actions uses node12 which is deprecated and will be forced to run on node16: webfactory/ssh-agent@v0.5.3, 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/