Skip to content

Actions: seL4/verification-manifest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
597 workflow runs
597 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
[CI] Update default.xml. Changed: l4v CI #1305: Commit f1a301f pushed by seL4-ci
July 26, 2024 03:40 27s master
master
July 26, 2024 03:40 27s
[CI] Update default.xml. Changed: l4v CI #1304: Commit 8c04916 pushed by seL4-ci
July 26, 2024 03:23 24s master
master
July 26, 2024 03:23 24s
[CI] Update mcs.xml. Changed: HOL, graph-refine, isabelle, l4v, polym… CI #1303: Commit 294de63 pushed by seL4-ci
July 25, 2024 13:02 26s master
master
July 25, 2024 13:02 26s
[CI] Update default.xml. Changed: l4v CI #1302: Commit 08ff165 pushed by seL4-ci
July 23, 2024 10:01 27s master
master
July 23, 2024 10:01 27s
[CI] Update default.xml. Changed: l4v CI #1301: Commit ec49bc9 pushed by seL4-ci
July 22, 2024 11:39 29s master
master
July 22, 2024 11:39 29s
[CI] Update default.xml. Changed: seL4 CI #1300: Commit c461895 pushed by seL4-ci
July 19, 2024 11:48 25s master
master
July 19, 2024 11:48 25s
[CI] Update seL4 to cpp-compatible version CI #1299: Commit 8dc5660 pushed by seL4-ci
July 19, 2024 09:17 23s master
master
July 19, 2024 09:17 23s
[CI] Update seL4 to cpp-compatible version Trigger #441: Commit 8dc5660 pushed by seL4-ci
July 19, 2024 09:17 9s master
master
July 19, 2024 09:17 9s
mcs: bump kernel revision to 'c679fe77d mcs: use local variable in po… CI #1298: Commit 78581a4 pushed by lsf37
July 19, 2024 09:16 58s master
master
July 19, 2024 09:16 58s
[CI] Update default.xml. Changed: l4v CI #1297: Commit 09ed6fc pushed by seL4-ci
July 18, 2024 12:59 28s master
master
July 18, 2024 12:59 28s
[CI] Update default.xml. Changed: seL4 CI #1296: Commit 5d96239 pushed by seL4-ci
July 18, 2024 09:00 44s master
master
July 18, 2024 09:00 44s
mcs: bump kernel revision to '125311599 hw debug api: aarch64 port' CI #1295: Commit 48da096 pushed by lsf37
July 18, 2024 06:27 46s master
master
July 18, 2024 06:27 46s
Update README for new mcs-devel manifest CI #1294: Commit 8803ec1 pushed by lsf37
July 18, 2024 06:26 27s master
master
July 18, 2024 06:26 27s
introduce mcs-devel.xml CI #1293: Pull request #20 synchronize by lsf37
July 18, 2024 06:24 45s mcs-devel
mcs-devel
July 18, 2024 06:24 45s
introduce mcs-devel.xml PR #23: Pull request #20 synchronize by lsf37
July 18, 2024 06:24 27s mcs-devel
mcs-devel
July 18, 2024 06:24 27s
bump kernel revision to '125311599 hw debug api: aarch64 port' CI #1292: Commit fc409d6 pushed by lsf37
July 18, 2024 06:21 47s master
master
July 18, 2024 06:21 47s
bump kernel revision to '125311599 hw debug api: aarch64 port' Trigger #440: Commit fc409d6 pushed by lsf37
July 18, 2024 06:21 14s master
master
July 18, 2024 06:21 14s
introduce mcs-devel.xml CI #1291: Pull request #20 opened by lsf37
July 18, 2024 05:16 25s mcs-devel
mcs-devel
July 18, 2024 05:16 25s
introduce mcs-devel.xml PR #22: Pull request #20 opened by lsf37
July 18, 2024 05:16 18s mcs-devel
mcs-devel
July 18, 2024 05:16 18s
[CI] Update default.xml. Changed: seL4 CI #1290: Commit 76f7818 pushed by seL4-ci
July 18, 2024 04:25 25s master
master
July 18, 2024 04:25 25s
[CI] Update seL4 to cpp-compatible version CI #1289: Commit 138fe42 pushed by seL4-ci
July 18, 2024 01:59 1m 1s master
master
July 18, 2024 01:59 1m 1s
[CI] Update seL4 to cpp-compatible version Trigger #439: Commit 138fe42 pushed by seL4-ci
July 18, 2024 01:59 40s master
master
July 18, 2024 01:59 40s
[CI] Update default.xml. Changed: seL4 CI #1288: Commit 5943313 pushed by seL4-ci
July 18, 2024 00:42 45s master
master
July 18, 2024 00:42 45s
[CI] Update seL4 to cpp-compatible version CI #1287: Commit 9b419ac pushed by seL4-ci
July 18, 2024 00:21 53s master
master
July 18, 2024 00:21 53s
[CI] Update seL4 to cpp-compatible version Trigger #438: Commit 9b419ac pushed by seL4-ci
July 18, 2024 00:21 25s master
master
July 18, 2024 00:21 25s