Skip to content

Actions: seL4/website

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
741 workflow runs
741 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TSC meeting notes + record email votes CI #1507: Pull request #292 opened by lsf37
September 19, 2023 19:14 34s tsc-meeting-notes
tsc-meeting-notes
September 19, 2023 19:14 34s
fix defcon link CI #1506: Pull request #291 synchronize by bbrcknl
September 15, 2023 04:56 33s fix_defcon_link
fix_defcon_link
September 15, 2023 04:56 33s
fix defcon link CI #1505: Pull request #291 opened by bbrcknl
September 15, 2023 04:49 46s fix_defcon_link
fix_defcon_link
September 15, 2023 04:49 46s
CI: update performance results CI #1504: Commit a3be2d8 pushed by seL4-ci
September 13, 2023 17:12 42s master
master
September 13, 2023 17:12 42s
fix news item id (#290) CI #1503: Commit 8b08d03 pushed by bbrcknl
September 13, 2023 06:15 37s master
master
September 13, 2023 06:15 37s
fix news item id CI #1502: Pull request #290 synchronize by bbrcknl
September 13, 2023 05:57 41s fix_link
fix_link
September 13, 2023 05:57 41s
CI: update performance results CI #1501: Commit b8842ff pushed by seL4-ci
September 11, 2023 09:42 49s master
master
September 11, 2023 09:42 49s
CI: update performance results CI #1500: Commit da8cb90 pushed by seL4-ci
September 11, 2023 09:17 58s master
master
September 11, 2023 09:17 58s
fix news item id CI #1499: Pull request #290 opened by bbrcknl
September 11, 2023 00:54 46s fix_link
fix_link
September 11, 2023 00:54 46s
CI: update performance results CI #1498: Commit 8276ade pushed by seL4-ci
September 5, 2023 13:59 1m 5s master
master
September 5, 2023 13:59 1m 5s
add NIO dinner reception sponsorship (#289) CI #1497: Commit 951dede pushed by bbrcknl
September 1, 2023 05:02 39s master
master
September 1, 2023 05:02 39s
add NIO dinner reception sponsorship CI #1496: Pull request #289 synchronize by bbrcknl
September 1, 2023 04:58 43s announce_dinner_sponsor
announce_dinner_sponsor
September 1, 2023 04:58 43s
add NIO dinner reception sponsorship CI #1495: Pull request #289 opened by bbrcknl
August 30, 2023 04:26 46s announce_dinner_sponsor
announce_dinner_sponsor
August 30, 2023 04:26 46s
add draft announcement (#287) CI #1494: Commit 90c27eb pushed by bbrcknl
August 30, 2023 03:51 44s master
master
August 30, 2023 03:51 44s
add panellists CI #1493: Pull request #287 synchronize by bbrcknl
August 30, 2023 03:34 36s announce_panellists
announce_panellists
August 30, 2023 03:34 36s
CI: update performance results CI #1492: Commit efa5703 pushed by seL4-ci
August 28, 2023 09:06 33s master
master
August 28, 2023 09:06 33s
add panellists CI #1491: Pull request #287 synchronize by bbrcknl
August 27, 2023 22:47 45s announce_panellists
announce_panellists
August 27, 2023 22:47 45s
Announce sponsor (#288) CI #1490: Commit 87ee83a pushed by bbrcknl
August 27, 2023 21:40 32s master
master
August 27, 2023 21:40 32s
Announce sponsor CI #1489: Pull request #288 synchronize by bbrcknl
August 27, 2023 21:32 33s announce_sponsor
announce_sponsor
August 27, 2023 21:32 33s
Announce sponsor CI #1488: Pull request #288 synchronize by bbrcknl
August 27, 2023 21:27 34s announce_sponsor
announce_sponsor
August 27, 2023 21:27 34s
CI: update performance results CI #1487: Commit 26b4046 pushed by seL4-ci
August 27, 2023 02:38 37s master
master
August 27, 2023 02:38 37s
Announce sponsor CI #1486: Pull request #288 synchronize by bbrcknl
August 25, 2023 07:20 34s announce_sponsor
announce_sponsor
August 25, 2023 07:20 34s
add panellists CI #1485: Pull request #287 synchronize by bbrcknl
August 25, 2023 01:42 33s announce_panellists
announce_panellists
August 25, 2023 01:42 33s
add panellists CI #1484: Pull request #287 synchronize by bbrcknl
August 25, 2023 01:26 35s announce_panellists
announce_panellists
August 25, 2023 01:26 35s
Announce sponsor CI #1483: Pull request #288 synchronize by bbrcknl
August 25, 2023 01:25 35s announce_sponsor
announce_sponsor
August 25, 2023 01:25 35s
ProTip! You can narrow down the results and go further in time using created:<2023-08-25 or the other filters available.