Skip to content

Actions: seL4/l4v

Actions

Platform Proofs IMX8MM

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof-deploy.yml
244 workflow run results
244 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

manifest-update Platform Proofs IMX8MM #1115: Repository dispatch triggered by seL4-ci
March 13, 2025 08:04 2h 46m 49s
March 13, 2025 08:04 2h 46m 49s
cspec: fix invalid escape sequence in mk_umm_types Platform Proofs IMX8MM #1113: Commit 43e6a35 pushed by lsf37
March 13, 2025 02:45 17m 54s master
master
March 13, 2025 02:45 17m 54s
manifest-update Platform Proofs IMX8MM #1110: Repository dispatch triggered by seL4-ci
March 12, 2025 22:49 3h 2m 45s
March 12, 2025 22:49 3h 2m 45s
aarch64: avoid saving CPACR to a disabled VCPU Platform Proofs IMX8MM #1109: Commit 9811df5 pushed by lsf37
March 12, 2025 22:48 3m 9s master
master
March 12, 2025 22:48 3m 9s
manifest-update Platform Proofs IMX8MM #1107: Repository dispatch triggered by seL4-ci
March 12, 2025 03:20 2h 52m 28s
March 12, 2025 03:20 2h 52m 28s
arm-hyp+aarch64 haskell+crefine: fix saved-when-disabled registers Platform Proofs IMX8MM #1104: Commit 7594cfb pushed by lsf37
March 11, 2025 22:22 2h 55m 29s master
master
March 11, 2025 22:22 2h 55m 29s
manifest-update Platform Proofs IMX8MM #1103: Repository dispatch triggered by seL4-ci
March 11, 2025 22:22 49s
March 11, 2025 22:22 49s
manifest-update Platform Proofs IMX8MM #1101: Repository dispatch triggered by seL4-ci
March 9, 2025 23:46 2h 46m 26s
March 9, 2025 23:46 2h 46m 26s
manifest-update Platform Proofs IMX8MM #1098: Repository dispatch triggered by seL4-ci
March 6, 2025 05:15 2h 36m 57s
March 6, 2025 05:15 2h 36m 57s
manifest-update Platform Proofs IMX8MM #1096: Repository dispatch triggered by seL4-ci
March 5, 2025 07:26 18m 32s
March 5, 2025 07:26 18m 32s
manifest-update Platform Proofs IMX8MM #1094: Repository dispatch triggered by seL4-ci
March 5, 2025 05:32 18m 21s
March 5, 2025 05:32 18m 21s
aarch64: updates for GICv3 split EOI mode Platform Proofs IMX8MM #1092: Commit 73c7fdb pushed by lsf37
March 5, 2025 02:08 2h 43m 6s master
master
March 5, 2025 02:08 2h 43m 6s
manifest-update Platform Proofs IMX8MM #1091: Repository dispatch triggered by seL4-ci
March 5, 2025 01:40 28m 51s
March 5, 2025 01:40 28m 51s
manifest-update Platform Proofs IMX8MM #1090: Repository dispatch triggered by seL4-ci
March 3, 2025 22:43 23m 32s
March 3, 2025 22:43 23m 32s
manifest-update Platform Proofs IMX8MM #1087: Repository dispatch triggered by seL4-ci
March 3, 2025 04:46 2m 41s
March 3, 2025 04:46 2m 41s
riscv machine+haskell: kernelELFPAddrBase change Platform Proofs IMX8MM #1085: Commit fc640c9 pushed by lsf37
March 3, 2025 03:35 2h 58m 14s master
master
March 3, 2025 03:35 2h 58m 14s
manifest-update Platform Proofs IMX8MM #1084: Repository dispatch triggered by seL4-ci
March 3, 2025 00:36 21m 6s
March 3, 2025 00:36 21m 6s
manifest-update Platform Proofs IMX8MM #1083: Repository dispatch triggered by seL4-ci
March 1, 2025 09:50 18m 4s
March 1, 2025 09:50 18m 4s
manifest-update Platform Proofs IMX8MM #1081: Repository dispatch triggered by seL4-ci
February 28, 2025 04:48 1h 38m 54s
February 28, 2025 04:48 1h 38m 54s
manifest-update Platform Proofs IMX8MM #1079: Repository dispatch triggered by seL4-ci
February 27, 2025 11:26 3h 18m 19s
February 27, 2025 11:26 3h 18m 19s
manifest-update Platform Proofs IMX8MM #1077: Repository dispatch triggered by seL4-ci
February 27, 2025 10:46 40m 24s
February 27, 2025 10:46 40m 24s
manifest-update Platform Proofs IMX8MM #1075: Repository dispatch triggered by seL4-ci
February 27, 2025 09:27 1h 22m 0s
February 27, 2025 09:27 1h 22m 0s
manifest-update Platform Proofs IMX8MM #1072: Repository dispatch triggered by seL4-ci
February 27, 2025 05:53 3h 35m 25s
February 27, 2025 05:53 3h 35m 25s
aarch64 refine+crefine: GIC_v3 proof updates Platform Proofs IMX8MM #1071: Commit f10a3c6 pushed by lsf37
February 27, 2025 05:34 27m 45s master
master
February 27, 2025 05:34 27m 45s
lib: add gets_gets_the_corres_ex_abs' to ExtraCorres Platform Proofs IMX8MM #1069: Commit 3468c16 pushed by michaelmcinerney
February 27, 2025 04:23 1h 23m 53s master
master
February 27, 2025 04:23 1h 23m 53s