Skip to content
PythonTA Tests

Add Z3 option to CFG-based checkers #1635

Sign in to view logs

Add Z3 option to CFG-based checkers

Add Z3 option to CFG-based checkers #1635

Triggered via pull request November 6, 2024 02:43
@Raine-Yang-UofTRaine-Yang-UofT
synchronize #1099
Raine-Yang-UofT:checker-z3-option
Status Success
Total duration 7m 15s
Artifacts –

test.yml

on: pull_request
Matrix: test
docs
24s
docs
finish
3s
finish
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
test (3.12)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/11bd71901bbe5b1630ceea73d27597364c9af683'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
test (3.12)
Back off 12.119 seconds before retry.
test (3.12)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/11bd71901bbe5b1630ceea73d27597364c9af683'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
test (3.12)
Back off 29.677 seconds before retry.