Closed jaisnan closed 2 weeks ago
Fixes: https://github.com/model-checking/verify-rust-std/actions/runs/9878423942/job/27283663117 which is a 403 error from github.
Source for fix
Test: https://github.com/jaisnan/rust-dev/pull/22/checks?check_run_id=27285370500
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Fixes: https://github.com/model-checking/verify-rust-std/actions/runs/9878423942/job/27283663117 which is a 403 error from github.
Source for fix
Test: https://github.com/jaisnan/rust-dev/pull/22/checks?check_run_id=27285370500
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.