Skip to content

Actions: seL4/website

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
725 workflow runs
725 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Details of bushwalk CI #2135: Pull request #410 synchronize by gernotheiser
October 4, 2024 02:49 52s summit_bushwalk
summit_bushwalk
October 4, 2024 02:49 52s
Details of bushwalk CI #2134: Pull request #410 opened by gernotheiser
October 4, 2024 02:37 53s summit_bushwalk
summit_bushwalk
October 4, 2024 02:37 53s
Summit sponsor - Apple CI #2133: Pull request #409 opened by bbrcknl
October 3, 2024 23:24 33s summit_sponsor_silver2
summit_sponsor_silver2
October 3, 2024 23:24 33s
summit 2024: placeholder for gold sponsor talk (#405) CI #2132: Commit 07c3268 pushed by bbrcknl
October 2, 2024 07:20 32s master
master
October 2, 2024 07:20 32s
summit 2024: placeholder for gold sponsor talk CI #2131: Pull request #405 synchronize by bbrcknl
October 1, 2024 22:51 37s summit_gold_speaker
summit_gold_speaker
October 1, 2024 22:51 37s
summit 2024: placeholder for gold sponsor talk CI #2130: Pull request #405 synchronize by bbrcknl
October 1, 2024 22:47 1m 4s summit_gold_speaker
summit_gold_speaker
October 1, 2024 22:47 1m 4s
summit silver sponsor (#395) CI #2129: Commit a40a999 pushed by bbrcknl
October 1, 2024 21:58 33s master
master
October 1, 2024 21:58 33s
summit silver sponsor CI #2128: Pull request #395 synchronize by bbrcknl
September 30, 2024 07:45 38s summit_sponsor_silver
summit_sponsor_silver
September 30, 2024 07:45 38s
announce lewis & clark membership (#408) CI #2127: Commit 4e2515e pushed by bbrcknl
September 30, 2024 06:58 52s master
master
September 30, 2024 06:58 52s
announce lewis & clark membership CI #2126: Pull request #408 synchronize by bbrcknl
September 30, 2024 06:54 44s new_member_announcement
new_member_announcement
September 30, 2024 06:54 44s
announce lewis & clark membership CI #2125: Pull request #408 synchronize by bbrcknl
September 30, 2024 03:18 38s new_member_announcement
new_member_announcement
September 30, 2024 03:18 38s
announce lewis & clark membership CI #2124: Pull request #408 opened by bbrcknl
September 30, 2024 03:15 32s new_member_announcement
new_member_announcement
September 30, 2024 03:15 32s
summit silver sponsor CI #2123: Pull request #395 synchronize by bbrcknl
September 30, 2024 00:27 1m 18s summit_sponsor_silver
summit_sponsor_silver
September 30, 2024 00:27 1m 18s
summit silver sponsor CI #2122: Pull request #395 synchronize by bbrcknl
September 27, 2024 00:12 31s summit_sponsor_silver
summit_sponsor_silver
September 27, 2024 00:12 31s
summit silver sponsor CI #2121: Pull request #395 synchronize by bbrcknl
September 26, 2024 23:55 30s summit_sponsor_silver
summit_sponsor_silver
September 26, 2024 23:55 30s
Build targets for on-seL4 and not-on-seL4 CI #2120: Commit 7c7a6b0 pushed by wom-bat
September 25, 2024 20:59 35s master
master
September 25, 2024 20:59 35s
Sel4 beta CI #2119: Pull request #407 synchronize by wom-bat
September 25, 2024 01:52 39s sel4-beta
sel4-beta
September 25, 2024 01:52 39s
Sel4 beta CI #2118: Pull request #407 synchronize by wom-bat
September 25, 2024 01:35 27s sel4-beta
sel4-beta
September 25, 2024 01:35 27s
Sel4 beta CI #2117: Pull request #407 synchronize by wom-bat
September 25, 2024 01:33 33s sel4-beta
sel4-beta
September 25, 2024 01:33 33s
Sel4 beta CI #2116: Pull request #407 synchronize by wom-bat
September 25, 2024 01:32 40s sel4-beta
sel4-beta
September 25, 2024 01:32 40s
Sel4 beta CI #2115: Pull request #407 opened by wom-bat
September 25, 2024 01:29 33s sel4-beta
sel4-beta
September 25, 2024 01:29 33s
update summit proofcraft presenter (#404) CI #2114: Commit bc1b983 pushed by bbrcknl
September 24, 2024 21:44 27s master
master
September 24, 2024 21:44 27s
update summit proofcraft presenter CI #2113: Pull request #404 synchronize by bbrcknl
September 24, 2024 21:42 36s update_summit_speakers
update_summit_speakers
September 24, 2024 21:42 36s
Push back training day rego deadline (#406) CI #2112: Commit 4c09496 pushed by bbrcknl
September 24, 2024 21:41 34s master
master
September 24, 2024 21:41 34s
Push back training day rego deadline CI #2111: Pull request #406 synchronize by bbrcknl
September 24, 2024 21:39 37s training_day_rego_deadline
training_day_rego_deadline
September 24, 2024 21:39 37s