Skip to content

sel4bench-web: adjust for website update #882

sel4bench-web: adjust for website update

sel4bench-web: adjust for website update #882

Triggered via pull request March 20, 2024 14:14
Status Success
Total duration 56s
Artifacts

pr.yml

on: pull_request
Gitlint
23s
Gitlint
Trailing Whitespace
7s
Trailing Whitespace
Portable Shell
11s
Portable Shell
Style
46s
Style
Fit to window
Zoom out
Zoom in