PR

announcement: pc for seL4 summit 2025 #1455

Sign in to view logs

Triggered via pull request February 10, 2025 06:03

bbrcknl

synchronize #430

summit_2025

Status Failure

Total duration 4m 33s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace

Annotations

1 error

Action gitlint failed.