Skip to content

Actions: seL4/docs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
264 workflow runs
264 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

hardware: separate the unmaintained platforms CI #400: Pull request #223 opened by june-andronick
January 29, 2024 10:56 52s hw-unmaintained
hw-unmaintained
January 29, 2024 10:56 52s
hardware: make title consistent in page/menus (#214) CI #399: Commit 258381c pushed by june-andronick
January 29, 2024 08:18 43s master
master
January 29, 2024 08:18 43s
hardware: make title consistent in page/menus CI #398: Pull request #214 synchronize by june-andronick
January 29, 2024 08:12 56s hw-title
hw-title
January 29, 2024 08:12 56s
Improving documentation for porting seL4 and making it up-to-date CI #397: Pull request #222 opened by Ivan-Velickovic
January 16, 2024 23:58 51s Ivan-Velickovic:update_porting
Ivan-Velickovic:update_porting
January 16, 2024 23:58 51s
hardware: make title consistent in page/menus CI #396: Pull request #214 synchronize by lsf37
January 12, 2024 23:19 2m 39s hw-title
hw-title
January 12, 2024 23:19 2m 39s
Fix typo on hardware page CI #395: Commit b94fdfb pushed by Ivan-Velickovic
January 4, 2024 04:28 28s master
master
January 4, 2024 04:28 28s
Fix typo on hardware page CI #394: Pull request #219 synchronize by Ivan-Velickovic
January 4, 2024 04:23 40s hardware_typo
hardware_typo
January 4, 2024 04:23 40s
Minor fixes to Docker instructions CI #393: Commit 21a38d8 pushed by Ivan-Velickovic
January 4, 2024 04:23 50s master
master
January 4, 2024 04:23 50s
Fix typo on hardware page CI #392: Pull request #219 synchronize by Ivan-Velickovic
January 4, 2024 03:18 46s hardware_typo
hardware_typo
January 4, 2024 03:18 46s
Fix typo on hardware page CI #391: Pull request #219 opened by Ivan-Velickovic
January 4, 2024 03:18 41s hardware_typo
hardware_typo
January 4, 2024 03:18 41s
Minor fixes to Docker instructions CI #390: Pull request #218 opened by Ivan-Velickovic
January 4, 2024 03:15 40s minor_docker_fixes
minor_docker_fixes
January 4, 2024 03:15 40s
hardware and verified config: swap order CI #389: Commit cdd362e pushed by lsf37
January 3, 2024 10:19 29s master
master
January 3, 2024 10:19 29s
hardware and verified config: swap order CI #388: Pull request #217 opened by june-andronick
January 3, 2024 10:11 42s hw-swap-order
hw-swap-order
January 3, 2024 10:11 42s
hardware: improve the text (#216) CI #387: Commit 94d4151 pushed by june-andronick
December 20, 2023 16:53 23s master
master
December 20, 2023 16:53 23s
hardware: improve the text CI #386: Pull request #216 synchronize by june-andronick
December 20, 2023 16:46 57s hw-text-update
hw-text-update
December 20, 2023 16:46 57s
hardware: improve the text CI #385: Pull request #216 synchronize by june-andronick
December 20, 2023 16:40 1m 1s hw-text-update
hw-text-update
December 20, 2023 16:40 1m 1s
hardware: improve the text CI #384: Pull request #216 synchronize by june-andronick
December 20, 2023 16:39 43s hw-text-update
hw-text-update
December 20, 2023 16:39 43s
hardware: improve the text CI #383: Pull request #216 opened by june-andronick
December 19, 2023 14:33 55s hw-text-update
hw-text-update
December 19, 2023 14:33 55s
hardware: ARM HYP vs ARM Hyp consistency CI #382: Commit 8dba742 pushed by lsf37
December 19, 2023 11:55 24s master
master
December 19, 2023 11:55 24s
Hw inconsistencies CI #381: Pull request #215 opened by june-andronick
December 19, 2023 10:24 45s hw-inconsistencies
hw-inconsistencies
December 19, 2023 10:24 45s
hardware: make title consistent in page/menus CI #380: Pull request #214 opened by june-andronick
December 19, 2023 09:47 41s hw-title
hw-title
December 19, 2023 09:47 41s
Hardware: make table headers consistent (#213) CI #379: Commit b53ee4d pushed by june-andronick
December 18, 2023 14:22 29s master
master
December 18, 2023 14:22 29s
Docsite hardware page: make table headers consistent CI #378: Pull request #213 synchronize by june-andronick
December 18, 2023 14:15 41s hw-table-header
hw-table-header
December 18, 2023 14:15 41s
Docsite hardware page: make table headers consistent CI #377: Pull request #213 opened by june-andronick
December 18, 2023 11:41 42s hw-table-header
hw-table-header
December 18, 2023 11:41 42s
dependencies: downgrade sass-embedded for docker CI #376: Commit c87fe7a pushed by lsf37
December 18, 2023 11:21 26s master
master
December 18, 2023 11:21 26s