CI

announcement: pc for seL4 summit 2025 #2264

Sign in to view logs

Triggered via pull request February 10, 2025 06:03

bbrcknl

synchronize #430

summit_2025

Status Success

Total duration 5m 12s

Artifacts –

push.yml

on: pull_request