Proof PR

Refactor arch_thread_get/set lemmas #3171

Sign in to view logs

Re-run triggered February 17, 2025 04:10

corlewis

#852

Status Success

Total duration 16m 54s

Artifacts 5

proof.yml

on: pull_request_target

Matrix: All

Artifacts

Produced during runtime

Name	Size
logs-ARM	209 MB