seL4 CI
|
b5d2428462
|
Updating default.xml
Change-Id: I259ff2ccc626621b3d273f149acd978b210efa2f
|
2025-07-24 07:14:51 +00:00 |
|
seL4 CI
|
a3ebc5f08d
|
Updating default.xml
Change-Id: If62972c35c2f82e1187fe7420dc4ae596ddc5a8a
|
2025-07-23 08:11:18 +00:00 |
|
seL4 CI
|
67531968f0
|
Updating default.xml
Change-Id: I97030ba27c545bca22809af3a7e956837c4c97a1
|
2025-07-23 07:42:06 +00:00 |
|
seL4 CI
|
4323b5c93c
|
Updating default.xml
Change-Id: I5981fbffa9d0f66a3508f4cf0357cd19023c8ccb
|
2025-07-22 14:22:41 +00:00 |
|
seL4 CI
|
2c083e72ab
|
Updating default.xml
Change-Id: I4c5d79f737ffc2b5b4ab13220014a4d298d34d7d
|
2025-07-22 12:13:01 +00:00 |
|
seL4 CI
|
0e93744858
|
Updating default.xml
Change-Id: Ie3eba67bc61d983a54687c149031c8b212a5a34c
|
2025-07-22 11:57:56 +00:00 |
|
seL4 CI
|
b63405c94b
|
Updating default.xml
Change-Id: I1157a3e0331de31a4ed73f10de6f3c4306bada8e
|
2025-07-15 15:56:46 +00:00 |
|
seL4 CI
|
25e190cc14
|
Updating default.xml
Change-Id: Ide2ede23ae9d7a1886493a28e4ee3207396e180e
|
2025-07-15 14:28:46 +00:00 |
|
seL4 CI
|
eafa42d9bd
|
Updating default.xml
Change-Id: I046f7d3dcb75e666bc5b7b903bf542a2e9dbd216
|
2025-07-15 10:24:49 +00:00 |
|
seL4 CI
|
a48a8a74d0
|
Updating default.xml
Change-Id: I16ee340a6f8e41e60d1c274348b44c32a3e46321
|
2025-07-15 00:20:49 +00:00 |
|
seL4 CI
|
f990e0378a
|
Updating default.xml
Change-Id: Id0ed28b47832d49b51f111baf7e26fbad477af9e
|
2025-07-14 11:19:34 +00:00 |
|
seL4 CI
|
5c66a726a0
|
Updating default.xml
Change-Id: Iaaa9543ccf6b11194650a6cd92fd27fcd2ae3ccc
|
2025-07-09 23:27:55 +00:00 |
|
seL4 CI
|
7633b83c15
|
Updating default.xml
Change-Id: Iba5aac3d57d9716aa7f8a4685761a063b30cdaa2
|
2025-07-09 21:23:07 +00:00 |
|
seL4 CI
|
7df345442e
|
Updating default.xml
Change-Id: Id9ffae785cdf655ce61f77d0a490b73d18582123
|
2025-07-07 23:15:38 +00:00 |
|
seL4 CI
|
6d9b52e8dd
|
Updating default.xml
Change-Id: I09fd6d594869bbd314599cc01940d0dee52e1201
|
2025-07-07 10:36:15 +00:00 |
|
seL4 CI
|
138a8cac1c
|
Updating default.xml
Change-Id: Iebc1cd81a10b474d3af8aabbad91479518b950fc
|
2025-07-06 23:30:35 +00:00 |
|
seL4 CI
|
d80f81bf64
|
Updating default.xml
Change-Id: Id7adcc929aeb285e07debb8da4304abbe16d1acf
|
2025-07-03 23:04:21 +00:00 |
|
seL4 CI
|
0dc13e871f
|
Updating default.xml
Change-Id: Icc48a2843603fbec97c136ba08549aba361568ca
|
2025-05-30 22:17:01 +00:00 |
|
seL4 CI
|
f154d8c356
|
Updating default.xml
Change-Id: I7e732dde36f835b42fd9a331c1ddb47516e7fd7e
|
2025-05-27 10:24:40 +00:00 |
|
seL4 CI
|
dee45a3ccf
|
Updating default.xml
Change-Id: Iec5046ab06e00d86a0a9737a301eb03323cc0af4
|
2025-05-23 01:47:12 +00:00 |
|
seL4 CI
|
e199e6190a
|
Updating default.xml
Change-Id: Ie06390c496a2cdae3fbc7ac20a11d61bf2c72fa7
|
2025-04-14 02:42:45 +00:00 |
|
seL4 CI
|
c1fa9bbcf9
|
Updating default.xml
Change-Id: Id1c63ca62ece8f577d56b38dafb05f97b0f70ced
|
2025-04-04 05:02:49 +00:00 |
|
seL4 CI
|
d4c107a161
|
Updating default.xml
Change-Id: I46572b1977fbb96c0ee0d88b1a37298947d3a8c6
|
2025-04-02 03:30:45 +00:00 |
|
seL4 CI
|
da7ceeb8e7
|
Updating default.xml
Change-Id: I29cf3ddeaa3bf0c2eef10a9e109f13ba2478de13
|
2025-04-01 22:36:58 +00:00 |
|
seL4 CI
|
ed940f6421
|
Updating default.xml
Change-Id: I3d92e054b1cddb1e3a21e0535ec2618ac51997ac
|
2025-04-01 00:44:34 +00:00 |
|
seL4 CI
|
4727713ef2
|
Updating default.xml
Change-Id: I94d974097b510099ef545b48fff3c30dcd0e3011
|
2025-04-01 00:22:29 +00:00 |
|
seL4 CI
|
2fab58db60
|
Updating default.xml
Change-Id: I9685608d96ae75411838554e699da408321d4e37
|
2025-03-31 23:37:49 +00:00 |
|
seL4 CI
|
8052d3ddc0
|
Updating default.xml
Change-Id: I074be167abbc57a438d846a5c7637a662e6928ea
|
2025-03-28 01:31:41 +00:00 |
|
seL4 CI
|
704d78971e
|
Updating default.xml
Change-Id: I58395bf7520eea71bd95fe8b6d027aff4951289e
|
2025-03-27 06:07:52 +00:00 |
|
seL4 CI
|
309337add3
|
Updating default.xml
Change-Id: If02c05b69b0531e98cede6d8fc1ccede628ce28c
|
2025-03-21 06:26:52 +00:00 |
|
seL4 CI
|
36508018a7
|
Updating default.xml
Change-Id: Idd9b7be1586f2489eb52c45daa22ffe0e3a62fe8
|
2025-03-18 00:26:48 +00:00 |
|
seL4 CI
|
feedd17e60
|
Updating default.xml
Change-Id: Iba42d10b76234540bb0620e28552ce81c1a2425d
|
2025-03-17 02:33:35 +00:00 |
|
seL4 CI
|
a516bf7c8b
|
Updating default.xml
Change-Id: Id9de7bce4476806d22d028cb6d48e43baddaed74
|
2025-03-17 02:01:42 +00:00 |
|
seL4 CI
|
58f0059cc9
|
Updating default.xml
Change-Id: I7a1d8ca9ad17394b8ff8cd465b8886bc0325b906
|
2025-03-17 00:27:04 +00:00 |
|
Gerwin Klein
|
c5de425617
|
github: use central CI workflows
Use GitHub workflow_call feature to reduce workflow duplication.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
|
2025-03-17 10:58:13 +11:00 |
|
seL4 CI
|
6696aed5da
|
Updating default.xml
Change-Id: I9583d9b93286e44730245e6b80eb77693f42a354
|
2025-03-14 03:28:15 +00:00 |
|
seL4 CI
|
ce8a515db3
|
Updating default.xml
Change-Id: Ia8910ef6525328f31565871d661691b29abdbda4
|
2025-03-14 00:28:29 +00:00 |
|
seL4 CI
|
e9de38b743
|
Updating default.xml
Change-Id: I5b02a85ac9d699a8dd6937eaae3b36a693b9eb64
|
2025-03-13 10:17:53 +00:00 |
|
seL4 CI
|
8f82acd9fc
|
Updating default.xml
Change-Id: I9a0d5192472f21ac9dc1db43c316a22e3a156b51
|
2025-03-12 23:18:45 +00:00 |
|
seL4 CI
|
12703eddb5
|
Updating default.xml
Change-Id: I4c5ade448d725c50c652d5b15f622ba553632551
|
2025-03-12 03:05:53 +00:00 |
|
seL4 CI
|
7631f3a6ec
|
Updating default.xml
Change-Id: I5f9a966de19402dcf8e94b88c316261785b5a60e
|
2025-03-10 00:13:31 +00:00 |
|
seL4 CI
|
8d88042e76
|
Updating default.xml
Change-Id: I49c96641db19eb6853453b8f535ed925fc8d86ca
|
2025-03-07 00:30:55 +00:00 |
|
seL4 CI
|
6b9f1c7d42
|
Updating default.xml
Change-Id: Ie2870fa05975777eb002a1fa717a031a4c77cc20
|
2025-03-05 10:06:17 +00:00 |
|
seL4 CI
|
db8db26bf5
|
Updating default.xml
Change-Id: Icc3c14632a9ee1fb6c6ccd91717d31abbd7cad97
|
2025-03-05 05:57:52 +00:00 |
|
seL4 CI
|
4cc24a36bb
|
Updating default.xml
Change-Id: I3bc925de6b0d0586d4067f0b04a2c0d9826b2207
|
2025-03-05 04:51:39 +00:00 |
|
seL4 CI
|
9e9b82eb7b
|
Updating default.xml
Change-Id: I46cfe1636af864003cf253af5184c4b7d5f0fefc
|
2025-03-05 02:34:03 +00:00 |
|
seL4 CI
|
967f11fbfe
|
Updating default.xml
Change-Id: Ib8b017b344ee5d6ee229a96e8e5272b84270cc60
|
2025-03-03 23:21:54 +00:00 |
|
seL4 CI
|
935b3f4ad5
|
Updating default.xml
Change-Id: I3a1b399987b0ce44fe3f7fd4890f4820df64971f
|
2025-03-03 04:08:46 +00:00 |
|
seL4 CI
|
811c786d42
|
Updating default.xml
Change-Id: I2f75320fd5fe7c44cc0a17f892c3d67a01499816
|
2025-03-01 10:28:51 +00:00 |
|
seL4 CI
|
fd3e8c550a
|
Updating default.xml
Change-Id: I11b0649ef0c3261c38eea6a679ed2b66eeca0663
|
2025-02-28 07:58:23 +00:00 |