Skip to content

Actions: seL4/website

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
681 workflow runs
681 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add microkit annoncement text CI #1562: Pull request #298 synchronize by bbrcknl
November 5, 2023 21:12 58s announce_microkit
announce_microkit
November 5, 2023 21:12 58s
add microkit annoncement text CI #1561: Pull request #298 synchronize by bbrcknl
November 5, 2023 21:06 44s announce_microkit
announce_microkit
November 5, 2023 21:06 44s
CI: update performance results CI #1560: Commit eb10ec7 pushed by seL4-ci
November 3, 2023 04:19 1m 11s master
master
November 3, 2023 04:19 1m 11s
CI: update performance results CI #1559: Commit 3a4306a pushed by seL4-ci
November 2, 2023 23:01 36s master
master
November 2, 2023 23:01 36s
CI: update performance results CI #1558: Commit 99e678e pushed by seL4-ci
November 1, 2023 17:07 53s master
master
November 1, 2023 17:07 53s
CI: update performance results CI #1557: Commit 60994d2 pushed by seL4-ci
October 31, 2023 22:34 41s master
master
October 31, 2023 22:34 41s
ProTip! You can narrow down the results and go further in time using created:<2023-10-31 or the other filters available.