PR cleanup

news: seL4 international #189

Sign in to view logs

Triggered via pull request December 18, 2025 07:42

lsf37

closed #542

Status Success

Total duration 45s

Artifacts –

pr-cleanup.yml

on: pull_request_target

Clean up PR preview