Skip to content

Actions: seL4/website

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow run results
27 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Announce sponsor PR #1147: Pull request #288 opened by bbrcknl
August 24, 2023 21:42 2m 24s announce_sponsor
announce_sponsor
August 24, 2023 21:42 2m 24s
Announce sponsor PR #993: Pull request #288 opened by bbrcknl
August 24, 2023 21:42 27s announce_sponsor
announce_sponsor
August 24, 2023 21:42 27s
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 PR #1146: Pull request #287 synchronize by bbrcknl
August 23, 2023 05:08 4m 26s announce_panellists
announce_panellists
August 23, 2023 05:08 4m 26s
add panellists PR #992: Pull request #287 synchronize by bbrcknl
August 23, 2023 05:08 33s announce_panellists
announce_panellists
August 23, 2023 05:08 33s
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 PR #991: Pull request #287 synchronize by bbrcknl
August 21, 2023 06:08 40s announce_panellists
announce_panellists
August 21, 2023 06:08 40s
add panellists PR #1145: Pull request #287 synchronize by bbrcknl
August 21, 2023 06:08 1m 57s announce_panellists
announce_panellists
August 21, 2023 06:08 1m 57s
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 PR #990: Pull request #287 synchronize by bbrcknl
August 21, 2023 01:39 24s announce_panellists
announce_panellists
August 21, 2023 01:39 24s
add panellists PR #1144: Pull request #287 synchronize by bbrcknl
August 21, 2023 01:39 1m 32s announce_panellists
announce_panellists
August 21, 2023 01:39 1m 32s
add panellists PR #989: Pull request #287 opened by bbrcknl
August 21, 2023 01:27 34s announce_panellists
announce_panellists
August 21, 2023 01:27 34s
add panellists PR #1143: Pull request #287 opened by bbrcknl
August 21, 2023 01:27 8m 1s announce_panellists
announce_panellists
August 21, 2023 01:27 8m 1s
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
fix alignment of sponsors table (#286) CI #1469: Commit 52a2559 pushed by bbrcknl
August 16, 2023 04:55 41s master
master
August 16, 2023 04:55 41s
fix alignment of sponsors table CI #1468: Pull request #286 synchronize by bbrcknl
August 16, 2023 04:45 45s adjust_membership_table_spacing
adjust_membership_table_spacing
August 16, 2023 04:45 45s
fix alignment of sponsors table PR #1142: Pull request #286 synchronize by bbrcknl
August 16, 2023 04:45 1m 42s adjust_membership_table_spacing
adjust_membership_table_spacing
August 16, 2023 04:45 1m 42s
fix alignment of sponsors table PR #988: Pull request #286 synchronize by bbrcknl
August 16, 2023 04:45 29s adjust_membership_table_spacing
adjust_membership_table_spacing
August 16, 2023 04:45 29s
fix alignment of sponsors table PR #1141: Pull request #286 synchronize by bbrcknl
August 16, 2023 04:23 3m 19s adjust_membership_table_spacing
adjust_membership_table_spacing
August 16, 2023 04:23 3m 19s