Update proofs for AArch64 seL4 PR #2626

Sign in to view logs

Triggered via pull request August 12, 2023 06:11

lsf37

synchronize #663

enum-reorder

Status Success

Total duration 23s

Artifacts –

push.yml

on: pull_request