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

update summit proofcraft presenter CI #2107: Pull request #404 opened by bbrcknl
September 22, 2024 22:26 31s update_summit_speakers
update_summit_speakers
September 22, 2024 22:26 31s
remove member logo (#403) CI #2106: Commit 5150471 pushed by bbrcknl
September 22, 2024 22:13 33s master
master
September 22, 2024 22:13 33s
remove member logo CI #2105: Pull request #403 opened by bbrcknl
September 20, 2024 00:22 32s remove_member
remove_member
September 20, 2024 00:22 32s
Build(deps): bump google-protobuf from 4.26.1 to 4.27.5 CI #2104: Pull request #402 opened by dependabot bot
September 19, 2024 16:17 39s dependabot/bundler/google-protobuf-4.27.5
dependabot/bundler/google-protobuf-4.27.5
September 19, 2024 16:17 39s
update summit social activities (#401) CI #2103: Commit 7d5464a pushed by bbrcknl
September 18, 2024 06:03 34s master
master
September 18, 2024 06:03 34s
update summit social activities CI #2102: Pull request #401 opened by bbrcknl
September 18, 2024 05:30 41s summit_social_activities
summit_social_activities
September 18, 2024 05:30 41s
CI: update performance results CI #2101: Commit 84b7bb4 pushed by seL4-ci
September 16, 2024 12:17 29s master
master
September 16, 2024 12:17 29s
updates to summit social activities (#400) CI #2100: Commit 63c794f pushed by bbrcknl
September 15, 2024 21:46 30s master
master
September 15, 2024 21:46 30s
updates to summit social activities CI #2099: Pull request #400 synchronize by bbrcknl
September 15, 2024 21:45 32s summit_social_activities
summit_social_activities
September 15, 2024 21:45 32s
updates to summit social activities CI #2098: Pull request #400 synchronize by bbrcknl
September 13, 2024 02:08 35s summit_social_activities
summit_social_activities
September 13, 2024 02:08 35s
updates to summit social activities CI #2097: Pull request #400 synchronize by bbrcknl
September 13, 2024 01:46 32s summit_social_activities
summit_social_activities
September 13, 2024 01:46 32s
updates to summit social activities CI #2096: Pull request #400 opened by bbrcknl
September 13, 2024 00:00 37s summit_social_activities
summit_social_activities
September 13, 2024 00:00 37s
Beta se l4 changes CI #2095: Pull request #399 opened by wom-bat
September 11, 2024 05:30 38s beta-seL4-changes
beta-seL4-changes
September 11, 2024 05:30 38s
Training day reg date (#398) CI #2094: Commit 21338c5 pushed by bbrcknl
September 11, 2024 05:02 37s master
master
September 11, 2024 05:02 37s
Training day reg date CI #2093: Pull request #398 opened by bbrcknl
September 11, 2024 04:28 38s training_day_reg_date
training_day_reg_date
September 11, 2024 04:28 38s
summit gold sponsor (#394) CI #2092: Commit 46f24b6 pushed by bbrcknl
September 6, 2024 08:26 37s master
master
September 6, 2024 08:26 37s
summit gold sponsor CI #2091: Pull request #394 synchronize by bbrcknl
September 6, 2024 06:08 42s summit_sponsor_gold
summit_sponsor_gold
September 6, 2024 06:08 42s
summit gold sponsor CI #2090: Pull request #394 synchronize by bbrcknl
September 6, 2024 06:06 33s summit_sponsor_gold
summit_sponsor_gold
September 6, 2024 06:06 33s
update social activities (#396) CI #2089: Commit 20e747d pushed by bbrcknl
September 5, 2024 22:08 35s master
master
September 5, 2024 22:08 35s
announcement of summit panel session CI #2088: Pull request #397 opened by bbrcknl
August 30, 2024 04:36 31s summit_panel
summit_panel
August 30, 2024 04:36 31s
update social activities CI #2087: Pull request #396 synchronize by bbrcknl
August 30, 2024 02:56 35s update_summit_social
update_summit_social
August 30, 2024 02:56 35s
summit gold sponsor CI #2086: Pull request #394 synchronize by bbrcknl
August 29, 2024 22:17 32s summit_sponsor_gold
summit_sponsor_gold
August 29, 2024 22:17 32s
summit silver sponsor CI #2085: Pull request #395 synchronize by bbrcknl
August 29, 2024 22:14 33s summit_sponsor_silver
summit_sponsor_silver
August 29, 2024 22:14 33s
update social activities CI #2084: Pull request #396 opened by bbrcknl
August 29, 2024 21:48 59s update_summit_social
update_summit_social
August 29, 2024 21:48 59s
add session chairs (#388) CI #2083: Commit 55d4bbe pushed by bbrcknl
August 28, 2024 05:41 55s master
master
August 28, 2024 05:41 55s