Skip to content

Actions: seL4/website

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
10 workflow run results
10 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Announce sponsor CI #1479: Pull request #288 opened by bbrcknl
August 24, 2023 21:42 47s announce_sponsor
announce_sponsor
August 24, 2023 21:42 47s
CI: update performance results CI #1478: Commit b618a3d pushed by seL4-ci
August 24, 2023 14:51 33s master
master
August 24, 2023 14:51 33s
CI: update performance results CI #1477: Commit 5cebfd3 pushed by seL4-ci
August 24, 2023 09:27 43s master
master
August 24, 2023 09:27 43s
CI: update performance results CI #1476: Commit ce5dcb1 pushed by seL4-ci
August 23, 2023 15:24 48s master
master
August 23, 2023 15:24 48s
CI: update performance results CI #1475: Commit 0e7e478 pushed by seL4-ci
August 23, 2023 14:29 4m 57s master
master
August 23, 2023 14:29 4m 57s
add panellists CI #1474: Pull request #287 synchronize by bbrcknl
August 23, 2023 05:08 52s announce_panellists
announce_panellists
August 23, 2023 05:08 52s
CI: update performance results CI #1473: Commit 407fecc pushed by seL4-ci
August 22, 2023 11:09 41s master
master
August 22, 2023 11:09 41s
add panellists CI #1472: Pull request #287 synchronize by bbrcknl
August 21, 2023 06:08 59s announce_panellists
announce_panellists
August 21, 2023 06:08 59s
add panellists CI #1471: Pull request #287 synchronize by bbrcknl
August 21, 2023 01:39 42s announce_panellists
announce_panellists
August 21, 2023 01:39 42s
add panellists CI #1470: Pull request #287 opened by bbrcknl
August 21, 2023 01:27 47s announce_panellists
announce_panellists
August 21, 2023 01:27 47s