59 Коммитов

Автор	SHA1	Сообщение	Дата
Amaury Chamayou	874c3d4726	Update devcontainer.json to enable cdot by default (#6530)	2024-10-07 13:00:07 +01:00
Heidi Howard	01af78db24	Update TLA+ dev container to include new TLA+ vscode extension (#6460)	2024-09-04 14:18:38 +00:00
Amaury Chamayou	1721658f12	Update azp base images (#6371)	2024-07-17 14:05:35 +00:00
Amaury Chamayou	5687a4bff9	Upgrade base to open enclave 0.19.7 (#6293)	2024-06-26 16:52:14 +01:00
Amaury Chamayou	cb9229ee58	Update to use latest CI image containing Open Enclave 0.19.6 (#6263)	2024-06-13 15:39:51 +01:00
Eddy Ashton	191232593d	Update CI image from 2024-04-25 to 2024-05-29 (#6214)	2024-05-30 09:12:04 +01:00
Amaury Chamayou	d01c35074d	Upgrade CI image from 2024-04-03 to 2024-04-25 (#6151)	2024-04-26 11:54:29 +01:00
Eddy Ashton	cdc12045b0	Update CI image from 2024-04-03 to 2024-03-15 (#6105)	2024-04-04 11:32:50 +01:00
Eddy Ashton	c210b08ed5	Update CI image from 15-03-2024 to 2024-03-21 (#6080)	2024-03-22 09:14:14 +00:00
Amaury Chamayou	76650042d5	Update CI image from 12-02-2024 to 15-03-2024 (#6067)	2024-03-18 10:29:45 +00:00
Amaury Chamayou	f7dab4a9b7	Update CI image from 25-01-2024 to 12-02-2024 (#6011)	2024-02-12 16:08:39 +00:00
Amaury Chamayou	0fa4538ef2	Fix recv_propose_request_vote in trace validation (#5985)	2024-02-05 11:48:24 +00:00
Amaury Chamayou	de424077b5	Update CI image from 07-12-2023 to 25-01-2024 (#5955)	2024-01-25 14:25:51 +00:00
Heidi Howard	c69933717c	Running prettier over JSON files (#5932)	2024-01-18 10:14:26 +00:00
Amaury Chamayou	f138828307	Update base image to 07-12-2023 (#5861)	2023-12-08 11:06:24 +00:00
Amaury Chamayou	1a4eaebcf3	Refresh base image (#5851)	2023-12-05 10:12:33 +00:00
Amaury Chamayou	faaab36134	Update CI images to 26-10-2023 (#5784)	2023-10-26 13:48:23 +01:00
Amaury Chamayou	bef07d8cbf	Update SGX PSW from 2.18 to 2.20 (#5616)	2023-09-06 09:59:43 +01:00
Markus Alexander Kuppe	0d3b9d610a	Codespaces changed location of its Java installation. (#5615)	2023-09-05 09:30:46 +01:00
Amaury Chamayou	b1ce90c652	Remove graphviz from llvm task (#5551)	2023-08-16 16:27:55 +01:00
Amaury Chamayou	61bed8538a	Update CI image from 11-08 to 14-08 (#5544)	2023-08-15 09:57:24 +01:00
Amaury Chamayou	c3c0dc23e5	Update CI image to 11-08-2023 (#5538)	2023-08-11 17:27:13 +01:00
Amaury Chamayou	ad7f64d81e	Update CI jobs to 10-08-2023 base (#5532)	2023-08-10 18:33:33 +01:00
Amaury Chamayou	d3626eb6de	Update to Open Enclave 0.19.3 (#5460)	2023-07-18 11:48:28 +01:00
Julien Maffre	cf265b9b59	Update Open Enclave to `0.19.2` (#5431)	2023-07-13 10:42:47 +01:00
Amaury Chamayou	de306f5b12	Remove gdb install (#5396)	2023-06-23 14:26:19 +01:00
Julien Maffre	ed3bba9c3d	Remove non-clang15 SNP/Virtual containers (#5316)	2023-06-01 10:02:30 +00:00
Julien Maffre	75585146fb	Format codebase with `clang-format-11` (#5205)	2023-04-28 15:21:54 +01:00
Julien Maffre	520af81092	Update to Open Enclave `0.19.0` (#5215)	2023-04-26 20:14:34 +01:00
Eddy Ashton	527cceb35d	Upgrade to OE 0.19.0-rc1 (#5165)	2023-04-19 15:42:34 +01:00
Amaury Chamayou	7a60db59cf	Clang 15 for Virtual and SNP (#5102)	2023-03-14 13:09:34 +00:00
Amaury Chamayou	d0fd99a7d0	Upgrade to Open Enclave 0.18.5 (#5004)	2023-02-14 14:54:07 +00:00
Amaury Chamayou	56fb19df0f	Update CI image to 02-02-2023 (#4944)	2023-02-03 14:54:46 +00:00
Dominic Ayre	d90d2b6478	Misc improvements to codespace dev experience (#4897) ... Co-authored-by: Mahati Chamarthy <mahati.chamarthy@gmail.com>	2023-01-25 14:59:12 +00:00
Julien Maffre	c8e4c07b13	Update CI image to `ccf/ci:oe-0.18.4-hspec` (#4769)	2022-12-16 17:21:00 +00:00
Markus Alexander Kuppe	ff0d8c6672	Remove elements from map outside of loop. (#4682)	2022-12-02 16:16:31 +00:00
Dominic Ayre	3cd4e09e5a	Include the gitlens extension in CCFs devcontainer (#4665)	2022-12-01 11:28:06 +00:00
Dominic Ayre	750e3e68eb	Add support for docker in docker in devcontainer (#4664)	2022-11-30 15:37:43 +00:00
Dominic Ayre	9a1ef3baca	Fix bug fetching deps for TLA and call during dev container setup (#4523)	2022-11-14 12:08:03 +00:00
Amaury Chamayou	77586e2a2c	Upgrade Open Enclave from 0.18.2 to 0.18.4 (#4510)	2022-11-10 20:22:50 +00:00
Ross Smith	7683f3e93b	Format documents on save (#4513)	2022-11-10 16:22:15 +00:00
Julien Maffre	f5cf0fe973	Update CI docker images in pipelines (#4462)	2022-11-03 16:13:11 +00:00
Markus Alexander Kuppe	dbad39864a	Subset of small improvements of TLA+ specification listed in #4264 (#4363)	2022-10-24 19:57:17 +01:00
Julien Maffre	b174fd5cad	Update CI image to use `protoc` (#4180)	2022-08-31 13:31:55 +01:00
Eddy Ashton	14e546b798	Upgrade to OpenEnclave 0.18.2 (#4134)	2022-08-16 16:57:42 +01:00
Amaury Chamayou	c2f81da938	Upgrade to Open Enclave 0.18.1 (#4023)	2022-07-12 16:51:44 +01:00
Eddy Ashton	f225caac95	Upgrade `main` to build against OE 0.18.0 (#3940)	2022-06-15 10:02:50 +00:00
Amaury Chamayou	d0702dbf97	Update to build image to PSW 2.16.100 (#3921)	2022-06-13 09:23:09 +01:00
Julien Maffre	8eccfcd202	Use CCF CI container in VSCode `.devcontainer.json` (#3874)	2022-05-20 16:50:12 +01:00
Julien Maffre	76f10eec9e	Docs: Update CCF app Docker images from ACR to MCR (#3858)	2022-05-18 15:31:56 +01:00