Update proofs for AArch64 seL4 PR #2625

Sign in to view logs

Triggered via pull request August 11, 2023 18:37

lsf37

opened #663

enum-reorder

Status Success

Total duration 28s

Artifacts –

push.yml

on: pull_request