Update proofs for AArch64 seL4 PR #2241

Sign in to view logs

Triggered via pull request August 14, 2023 07:27

lsf37

synchronize #663

enum-reorder

Status Success

Total duration 1m 14s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace