Skip to content

Actions: seL4/sel4bench

Actions

seL4Bench

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4bench.yml
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deps-update seL4Bench #647: Repository dispatch triggered by seL4-ci
February 12, 2025 11:00 46m 53s
February 12, 2025 11:00 46m 53s
deps-update seL4Bench #646: Repository dispatch triggered by seL4-ci
February 12, 2025 03:50 47m 31s
February 12, 2025 03:50 47m 31s
deps-update seL4Bench #645: Repository dispatch triggered by seL4-ci
February 10, 2025 22:35 1h 14m 18s
February 10, 2025 22:35 1h 14m 18s
deps-update seL4Bench #644: Repository dispatch triggered by seL4-ci
February 10, 2025 22:07 49m 37s
February 10, 2025 22:07 49m 37s
deps-update seL4Bench #643: Repository dispatch triggered by seL4-ci
February 10, 2025 04:53 1h 19m 9s
February 10, 2025 04:53 1h 19m 9s
deps-update seL4Bench #642: Repository dispatch triggered by seL4-ci
February 10, 2025 01:48 1h 26m 27s
February 10, 2025 01:48 1h 26m 27s
deps-update seL4Bench #641: Repository dispatch triggered by seL4-ci
February 10, 2025 00:17 1h 34m 30s
February 10, 2025 00:17 1h 34m 30s
deps-update seL4Bench #640: Repository dispatch triggered by seL4-ci
February 9, 2025 13:01 1h 13m 29s
February 9, 2025 13:01 1h 13m 29s
deps-update seL4Bench #639: Repository dispatch triggered by seL4-ci
February 9, 2025 12:39 46m 47s
February 9, 2025 12:39 46m 47s
SCHED: Don't let spawned processes crash seL4Bench #638: Commit 9248b14 pushed by Indanz
February 9, 2025 12:34 1h 30m 27s master
master
February 9, 2025 12:34 1h 30m 27s
deps-update seL4Bench #637: Repository dispatch triggered by seL4-ci
February 7, 2025 15:44 46m 11s
February 7, 2025 15:44 46m 11s
deps-update seL4Bench #636: Repository dispatch triggered by seL4-ci
February 6, 2025 06:17 46m 26s
February 6, 2025 06:17 46m 26s
deps-update seL4Bench #635: Repository dispatch triggered by seL4-ci
February 5, 2025 22:58 1h 16m 8s
February 5, 2025 22:58 1h 16m 8s
deps-update seL4Bench #634: Repository dispatch triggered by seL4-ci
February 5, 2025 22:38 56m 23s
February 5, 2025 22:38 56m 23s
deps-update seL4Bench #633: Repository dispatch triggered by seL4-ci
February 4, 2025 05:51 1h 21m 31s
February 4, 2025 05:51 1h 21m 31s
deps-update seL4Bench #632: Repository dispatch triggered by seL4-ci
February 4, 2025 05:39 49m 31s
February 4, 2025 05:39 49m 31s
deps-update seL4Bench #631: Repository dispatch triggered by seL4-ci
February 3, 2025 23:11 46m 16s
February 3, 2025 23:11 46m 16s
deps-update seL4Bench #630: Repository dispatch triggered by seL4-ci
February 3, 2025 05:11 47m 3s
February 3, 2025 05:11 47m 3s
deps-update seL4Bench #629: Repository dispatch triggered by seL4-ci
February 2, 2025 23:57 36m 8s
February 2, 2025 23:57 36m 8s
deps-update seL4Bench #628: Repository dispatch triggered by seL4-ci
February 2, 2025 10:06 43m 45s
February 2, 2025 10:06 43m 45s
deps-update seL4Bench #627: Repository dispatch triggered by seL4-ci
January 31, 2025 02:05 58m 1s
January 31, 2025 02:05 58m 1s
deps-update seL4Bench #626: Repository dispatch triggered by seL4-ci
January 30, 2025 21:59 44m 28s
January 30, 2025 21:59 44m 28s
deps-update seL4Bench #625: Repository dispatch triggered by seL4-ci
December 19, 2024 06:43 1h 42m 46s
December 19, 2024 06:43 1h 42m 46s
github: pin Ubuntu 22.04 for deployment step seL4Bench #624: Commit 8927dbe pushed by lsf37
December 19, 2024 06:42 1h 3m 6s master
master
December 19, 2024 06:42 1h 3m 6s
deps-update seL4Bench #623: Repository dispatch triggered by seL4-ci
December 19, 2024 05:36 46m 32s
December 19, 2024 05:36 46m 32s