Skip to content

regroup optionals in proofs #1162

regroup optionals in proofs

regroup optionals in proofs #1162

Triggered via pull request October 4, 2024 08:53
Status Success
Total duration 22s
Artifacts

gpu_signed_integer_tests.yml

on: pull_request
should-run
8s
should-run
Setup instance (cuda-signed-integer-tests)
0s
Setup instance (cuda-signed-integer-tests)
Matrix: CUDA signed integer tests
Slack Notification
0s
Slack Notification
Teardown instance (cuda-tests)
0s
Teardown instance (cuda-tests)
Fit to window
Zoom out
Zoom in