Skip to content

Actions: seL4/docs

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #715: by seL4-ci
October 18, 2023 12:51 1m 1s gh-pages
gh-pages
October 18, 2023 12:51 1m 1s
Improve RPi4 U-Boot instructions CI #352: Commit fb0be1d pushed by Ivan-Velickovic
October 18, 2023 12:45 32s master
master
October 18, 2023 12:45 32s
Improve RPi4 U-Boot instructions Build #1239: Commit fb0be1d pushed by Ivan-Velickovic
October 18, 2023 12:45 6m 8s master
master
October 18, 2023 12:45 6m 8s
Fixes and improvements to Raspberry Pi 4B documentation Build #1238: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 10:09 5m 44s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 10:09 5m 44s
Fixes and improvements to Raspberry Pi 4B documentation CI #351: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 10:09 58s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 10:09 58s
Fixes and improvements to Raspberry Pi 4B documentation PR #233: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 10:09 40s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 10:09 40s
Fixes and improvements to Raspberry Pi 4B documentation PR #232: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 09:28 53s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 09:28 53s
Fixes and improvements to Raspberry Pi 4B documentation Build #1237: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 09:28 6m 45s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 09:28 6m 45s
Fixes and improvements to Raspberry Pi 4B documentation CI #350: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 09:28 1m 3s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 09:28 1m 3s
Fixes and improvements to Raspberry Pi 4B documentation PR #231: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 08:22 48s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 08:22 48s
Fixes and improvements to Raspberry Pi 4B documentation Build #1236: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 08:22 5m 48s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 08:22 5m 48s
Fixes and improvements to Raspberry Pi 4B documentation CI #349: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 08:22 59s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 08:22 59s
Fixes and improvements to Raspberry Pi 4B documentation PR #230: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 05:03 40s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 05:03 40s
Fixes and improvements to Raspberry Pi 4B documentation CI #348: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 05:03 50s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 05:03 50s
Fixes and improvements to Raspberry Pi 4B documentation Build #1235: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 05:03 5m 10s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 05:03 5m 10s
pages build and deployment pages-build-deployment #714: by seL4-ci
October 18, 2023 03:18 1m 7s gh-pages
gh-pages
October 18, 2023 03:18 1m 7s
Build Build #1234: Scheduled
October 18, 2023 03:12 5m 34s master
master
October 18, 2023 03:12 5m 34s
Fixes and improvements to Raspberry Pi 4B documentation Build #1233: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 01:35 6m 22s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 01:35 6m 22s
Fixes and improvements to Raspberry Pi 4B documentation CI #347: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 01:35 54s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 01:35 54s
Fixes and improvements to Raspberry Pi 4B documentation PR #229: Pull request #203 synchronize by Ivan-Velickovic
October 18, 2023 01:35 43s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 01:35 43s
Fixes and improvements to Raspberry Pi 4B documentation PR #228: Pull request #203 opened by Ivan-Velickovic
October 18, 2023 01:35 44s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 01:35 44s
Fixes and improvements to Raspberry Pi 4B documentation Build #1232: Pull request #203 opened by Ivan-Velickovic
October 18, 2023 01:35 5m 47s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 01:35 5m 47s
Fixes and improvements to Raspberry Pi 4B documentation CI #346: Pull request #203 opened by Ivan-Velickovic
October 18, 2023 01:35 1m 0s Ivan-Velickovic:rpi4b_fixes
Ivan-Velickovic:rpi4b_fixes
October 18, 2023 01:35 1m 0s
pages build and deployment pages-build-deployment #713: by seL4-ci
October 18, 2023 00:58 1m 5s gh-pages
gh-pages
October 18, 2023 00:58 1m 5s
style: packed structs (#202) Build #1231: Commit 7b0cc2c pushed by lsf37
October 18, 2023 00:52 6m 11s master
master
October 18, 2023 00:52 6m 11s