seL4 CI
|
35d4d5a909
|
Updating default.xml
Change-Id: Id2b82f115a80869f5ea609fd622d04fef0f22a5a
|
2025-07-08 10:16:25 +00:00 |
|
seL4 CI
|
e80c4bdf22
|
Updating default.xml
Change-Id: I14509b0300faa5435311615df0cbce24405ac3f4
|
2025-07-07 23:05:35 +00:00 |
|
seL4 CI
|
55589a1c64
|
Updating default.xml
Change-Id: I98dfc988bd77f7219dd8d8f1b53b20d793a3e5d2
|
2025-07-07 10:22:51 +00:00 |
|
seL4 CI
|
97e4cfc7c8
|
Updating default.xml
Change-Id: I404530fb2d344bae2628f447c4bfa86194faa153
|
2025-07-06 23:00:14 +00:00 |
|
seL4 CI
|
23e58d85ea
|
Updating default.xml
Change-Id: I181d3275c042026d0bdf75db92efe9015a4d0526
|
2025-07-03 18:37:01 +00:00 |
|
seL4 CI
|
2b697a33ea
|
Updating default.xml
Change-Id: I7dc016a6f16c32847955c371f5f24b009921e09e
|
2025-07-03 12:26:10 +00:00 |
|
seL4 CI
|
f225fa9a73
|
Updating default.xml
Change-Id: I8330a4a8357e1e6e1fd22935cb6b129a0874f800
|
2025-07-02 10:18:43 +00:00 |
|
seL4 CI
|
ac96bfc769
|
Updating default.xml
Change-Id: I2275d525c73529968906f803b9d2a91c0599284a
|
2025-06-24 09:35:49 +00:00 |
|
seL4 CI
|
169e5167e3
|
Updating default.xml
Change-Id: I99d9ded5a269d38bc6bb31b98ea01392acbbd915
|
2025-06-13 10:37:55 +00:00 |
|
seL4 CI
|
a793f89a50
|
Updating default.xml
Change-Id: If6657e4522b51b4908db6bc937870bf1c5895fca
|
2025-06-13 05:10:48 +00:00 |
|
seL4 CI
|
7b92c7679b
|
Updating default.xml
Change-Id: Iab284ff56367376d5367b21072554d52b8c1174f
|
2025-06-10 08:49:21 +00:00 |
|
seL4 CI
|
63980fd9aa
|
Updating default.xml
Change-Id: I1ae694eed1f2331243fdaeb6796e4260f6aaa60f
|
2025-06-07 09:05:51 +00:00 |
|
seL4 CI
|
639ad80931
|
Updating default.xml
Change-Id: Id96e494365877f6b797e96307c18c6cdf451fa8c
|
2025-06-02 08:41:48 +00:00 |
|
seL4 CI
|
707eacb1be
|
Updating default.xml
Change-Id: Iabb57020805e13dd2d2df3cb11c266077ffb99c6
|
2025-05-31 08:46:04 +00:00 |
|
seL4 CI
|
684a9e9270
|
Updating default.xml
Change-Id: I4da90018fc09d35ecc5e4236866fa5e2a677aba0
|
2025-05-30 21:48:34 +00:00 |
|
seL4 CI
|
bd5c86ea86
|
Updating default.xml
Change-Id: I55371c2617b9c88e3af7526a274ab2dc65a837b3
|
2025-05-30 21:17:50 +00:00 |
|
seL4 CI
|
832d8869b7
|
Updating default.xml
Change-Id: I9a7245b0dc1739f75e3764c55cad11e8c7c7b531
|
2025-05-27 10:01:29 +00:00 |
|
seL4 CI
|
d875428038
|
Updating default.xml
Change-Id: I720d93d959179c836c7fc024407b2f1ab53750e3
|
2025-05-26 14:14:19 +00:00 |
|
Gerwin Klein
|
ba6f7674ef
|
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 11:28:47 +11:00 |
|
seL4 CI
|
7186ebd969
|
Updating default.xml
Change-Id: If0e78722b526de18c7154930d16bc17cf6e8f020
|
2025-02-28 04:44:07 +00:00 |
|
seL4 CI
|
12d2bb0817
|
Updating default.xml
Change-Id: I41bdc3dd7dad467ca85a1247637b0f938595d340
|
2025-02-28 03:54:25 +00:00 |
|
seL4 CI
|
ff4930859a
|
Updating default.xml
Change-Id: If59e3251a5507a581092455b4d0b9b72b2f553bd
|
2025-02-28 02:10:44 +00:00 |
|
seL4 CI
|
501d2fdc43
|
Updating default.xml
Change-Id: Ibaf44c436ac0ddcec4e0b34cf7973f055ab6f4bf
|
2025-02-28 01:51:04 +00:00 |
|
seL4 CI
|
33c938aa02
|
Updating default.xml
Change-Id: I5ee5e02b54bf1d895fda990d8ce0216dc271f066
|
2025-02-28 01:20:39 +00:00 |
|
seL4 CI
|
2254a931da
|
Updating default.xml
Change-Id: I7aac0f26fdf8b77e2c579865d2cc3ebff4f2909e
|
2025-02-28 01:18:05 +00:00 |
|
seL4 CI
|
4a22bc16db
|
Updating default.xml
Change-Id: I3645d2a35f1a618a7c99048d33c41d9ccab28369
|
2025-02-27 21:43:34 +00:00 |
|
seL4 CI
|
b2119ee78f
|
Updating default.xml
Change-Id: Ie1310e37d04d98a2250a636e2b160e60dc93da3d
|
2025-02-27 11:28:26 +00:00 |
|
seL4 CI
|
e02ab70774
|
Updating default.xml
Change-Id: I4c4f0eea0f91371726ca351bb2e238e20c7a2533
|
2025-02-27 09:33:28 +00:00 |
|
seL4 CI
|
3d7b148d8c
|
Updating default.xml
Change-Id: I62d7015053b80fe71373c861cba2ed3c3423a842
|
2025-02-27 07:25:45 +00:00 |
|
seL4 CI
|
22dc5ea772
|
Updating default.xml
Change-Id: If479400e8a29f1da6e9efab5944366bd143a9bf2
|
2025-02-27 06:25:09 +00:00 |
|
seL4 CI
|
be32b347ca
|
Updating default.xml
Change-Id: Iad693b0c074073bae717252effe5203f4d793ea7
|
2025-02-27 05:07:49 +00:00 |
|
seL4 CI
|
ece0c451a9
|
Updating default.xml
Change-Id: I4967a00c3394788ff0c47a11b5cf81d1478a69c7
|
2025-02-27 01:35:29 +00:00 |
|
seL4 CI
|
9b0170632c
|
Updating default.xml
Change-Id: Id4123b9668d82156143ed50a9644832efa3dcc12
|
2025-02-26 22:39:42 +00:00 |
|
seL4 CI
|
7603497623
|
Updating default.xml
Change-Id: Ifeb714a31fd40d2ce9473481e6dca69736d7063f
|
2025-02-26 19:41:35 +00:00 |
|
seL4 CI
|
7f716b3fae
|
Updating default.xml
Change-Id: I4caee71a0bb7ec680588543afdbb9aebe80c4df0
|
2025-02-26 11:55:46 +00:00 |
|
seL4 CI
|
09c92e9832
|
Updating default.xml
Change-Id: I9c4da0914f2e72e990508debbcdfd337792fc9f0
|
2025-02-26 07:18:42 +00:00 |
|
seL4 CI
|
5520db20e4
|
Updating default.xml
Change-Id: Ia4d9d7b2585de753034afb1025c69ed09fdbb32e
|
2025-02-26 05:15:03 +00:00 |
|
seL4 CI
|
4fea7d8c76
|
Updating default.xml
Change-Id: Icd244f4b545db7fad9684dce2d1332fbe9963c0b
|
2025-02-25 23:44:46 +00:00 |
|
seL4 CI
|
072f060d80
|
Updating default.xml
Change-Id: I423a551e422d1b3e991224fd6d95c990399d2b44
|
2025-02-25 03:26:44 +00:00 |
|
seL4 CI
|
dffce61979
|
Updating default.xml
Change-Id: I31ab025fac87a712d21edac5d533aeb08a05f96f
|
2025-02-24 12:23:35 +00:00 |
|
seL4 CI
|
e1e4ca6a8b
|
Updating default.xml
Change-Id: Ieba261814150241ccacdaa9d20980a657d797a7d
|
2025-02-22 23:21:58 +00:00 |
|
seL4 CI
|
fba6e498f0
|
Updating default.xml
Change-Id: Ic1edd4ebeb1f0a8a5dbbd54069cb8cab1c2a6f80
|
2025-02-22 00:14:05 +00:00 |
|
seL4 CI
|
bad52bf338
|
Updating default.xml
Change-Id: Ie4a68a8d9a7756408cb5d78f99b39ab1d0204c70
|
2025-02-22 00:08:12 +00:00 |
|
seL4 CI
|
29b0173339
|
Updating default.xml
Change-Id: Id821325b3cd801c6ac9ccbf40c8a30cdf65b5487
|
2025-02-21 07:49:29 +00:00 |
|
seL4 CI
|
36de15b75a
|
Updating default.xml
Change-Id: I115b8fa405fd86638cfdc91ac3533b0b549657cb
|
2025-02-18 00:24:22 +00:00 |
|
seL4 CI
|
eec7e29375
|
Updating default.xml
Change-Id: Ib23fc2859ebc57d67bf73dd7f1f7e27e916ef146
|
2025-02-17 22:35:20 +00:00 |
|
seL4 CI
|
853e14e90f
|
Updating default.xml
Change-Id: I12c57d2de78607dc881efab1946fc2ecfe8a2c61
|
2025-02-12 11:09:57 +00:00 |
|
seL4 CI
|
d530d47a72
|
Updating default.xml
Change-Id: I5097f2e8d73e05fabcb616874120661970643ac9
|
2025-02-12 04:00:22 +00:00 |
|
seL4 CI
|
790f1a10ce
|
Updating default.xml
Change-Id: I197ae35ce0413df3011a551335157a8a731ba83e
|
2025-02-10 22:46:13 +00:00 |
|
seL4 CI
|
40c517c375
|
Updating default.xml
Change-Id: I45270da77203a0ef0fe3f4dd7dd258c90de9b5b0
|
2025-02-10 22:17:14 +00:00 |