Skip to content

Actions: seL4/seL4

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
10,908 workflow runs
10,908 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
deps-update seL4Test #691: Repository dispatch triggered by seL4-ci
June 12, 2024 12:49 In progress
June 12, 2024 12:49 In progress
Add new imx8mp-evk platform Proof Sync #420: Commit f8b289d pushed by kent-mcleod
June 12, 2024 12:47 22m 5s master
master
June 12, 2024 12:47 22m 5s
Add new imx8mp-evk platform C Parser #4657: Commit f8b289d pushed by kent-mcleod
June 12, 2024 12:47 4m 31s master
master
June 12, 2024 12:47 4m 31s
Add new imx8mp-evk platform CI #5661: Commit f8b289d pushed by kent-mcleod
June 12, 2024 12:47 4m 8s master
master
June 12, 2024 12:47 4m 8s
Add new imx8mp-evk platform RefMan #4761: Commit f8b289d pushed by kent-mcleod
June 12, 2024 12:47 3m 52s master
master
June 12, 2024 12:47 3m 52s
Add new imx8mp-evk platform Compile #5570: Commit f8b289d pushed by kent-mcleod
June 12, 2024 12:47 6m 43s master
master
June 12, 2024 12:47 6m 43s
Add new imx8mp-evk platform seL4Test #690: Commit f8b289d pushed by kent-mcleod
June 12, 2024 12:47 59m 26s master
master
June 12, 2024 12:47 59m 26s
Add new imx8mp-evk platform Trigger #399: Commit f8b289d pushed by kent-mcleod
June 12, 2024 12:47 4m 4s master
master
June 12, 2024 12:47 4m 4s
deps-update seL4Test #689: Repository dispatch triggered by seL4-ci
June 12, 2024 12:46 6h 44m 57s
June 12, 2024 12:46 6h 44m 57s
Disable KernelRiscvUseClintMtime by default CI #5660: Pull request #1259 synchronize by Ivan-Velickovic
June 12, 2024 08:37 34s remove_mtime_default_option
remove_mtime_default_option
June 12, 2024 08:37 34s
Disable KernelRiscvUseClintMtime by default Compile #5569: Pull request #1259 synchronize by Ivan-Velickovic
June 12, 2024 08:37 1m 12s remove_mtime_default_option
remove_mtime_default_option
June 12, 2024 08:37 1m 12s
Disable KernelRiscvUseClintMtime by default RefMan #4760: Pull request #1259 synchronize by Ivan-Velickovic
June 12, 2024 08:37 1m 32s remove_mtime_default_option
remove_mtime_default_option
June 12, 2024 08:37 1m 32s
Disable KernelRiscvUseClintMtime by default seL4Test-Sim #4111: Pull request #1259 synchronize by Ivan-Velickovic
June 12, 2024 08:37 12m 53s remove_mtime_default_option
remove_mtime_default_option
June 12, 2024 08:37 12m 53s
Disable KernelRiscvUseClintMtime by default PR #5070: Pull request #1259 synchronize by Ivan-Velickovic
June 12, 2024 08:37 1m 32s remove_mtime_default_option
remove_mtime_default_option
June 12, 2024 08:37 1m 32s
Disable KernelRiscvUseClintMtime by default C Parser #4656: Pull request #1259 synchronize by Ivan-Velickovic
June 12, 2024 08:37 1m 43s remove_mtime_default_option
remove_mtime_default_option
June 12, 2024 08:37 1m 43s
Disable KernelRiscvUseClintMtime by default seL4Test-HW #4695: Pull request #1259 synchronize by Ivan-Velickovic
June 12, 2024 08:37 10s
June 12, 2024 08:37 10s
Disable KernelRiscvUseClintMtime by default seL4Bench-HW #1541: Pull request #1259 synchronize by Ivan-Velickovic
June 12, 2024 08:37 10s
June 12, 2024 08:37 10s
Disable KernelRiscvUseClintMtime by default Proofs #4203: Pull request #1259 synchronize by Ivan-Velickovic
June 12, 2024 08:37 3s
June 12, 2024 08:37 3s
Add new imx8mp-evk platform CI #5659: Pull request #1249 synchronize by nomadeel
June 12, 2024 06:24 25s nomadeel:imx8mp_evk
nomadeel:imx8mp_evk
June 12, 2024 06:24 25s
Add new imx8mp-evk platform Compile #5568: Pull request #1249 synchronize by nomadeel
June 12, 2024 06:24 1m 14s nomadeel:imx8mp_evk
nomadeel:imx8mp_evk
June 12, 2024 06:24 1m 14s
Add new imx8mp-evk platform C Parser #4655: Pull request #1249 synchronize by nomadeel
June 12, 2024 06:24 1m 44s nomadeel:imx8mp_evk
nomadeel:imx8mp_evk
June 12, 2024 06:24 1m 44s
Add new imx8mp-evk platform PR #5069: Pull request #1249 synchronize by nomadeel
June 12, 2024 06:24 1m 23s nomadeel:imx8mp_evk
nomadeel:imx8mp_evk
June 12, 2024 06:24 1m 23s
Add new imx8mp-evk platform RefMan #4759: Pull request #1249 synchronize by nomadeel
June 12, 2024 06:24 1m 32s nomadeel:imx8mp_evk
nomadeel:imx8mp_evk
June 12, 2024 06:24 1m 32s
Add new imx8mp-evk platform seL4Test-Sim #4110: Pull request #1249 synchronize by nomadeel
June 12, 2024 06:24 12m 50s nomadeel:imx8mp_evk
nomadeel:imx8mp_evk
June 12, 2024 06:24 12m 50s
Add new imx8mp-evk platform seL4Test-HW #4694: Pull request #1249 synchronize by nomadeel
June 12, 2024 06:24 43m 21s
June 12, 2024 06:24 43m 21s