CoqResearch

Author	SHA1	Message	Date
alois	7d769b382c	Actualiser _publications/2025/2025-stage-L3.md Build and Deploy Jekyll / deploy (push) Successful in 44s Details	2026-05-26 13:18:27 +00:00
alois	378365d28d	Actualiser _publications/2025/2025-stage-L3.md Build and Deploy Jekyll / deploy (push) Successful in 43s Details	2026-05-26 13:14:37 +00:00
alois	4998ee592a	Actualiser _publications/2025/2025-stage-L3.md Build and Deploy Jekyll / deploy (push) Successful in 44s Details	2026-05-26 13:13:51 +00:00
alois	b9f3398180	Actualiser _publications/2025/2025-stage-L3.md Build and Deploy Jekyll / deploy (push) Successful in 48s Details	2026-05-26 13:12:43 +00:00
alois	1834253ca0	Actualiser _publications/2025/2025-stage-L3.md Build and Deploy Jekyll / deploy (push) Successful in 45s Details	2026-05-26 13:08:26 +00:00
alois	f0dbfa9ed9	Ajouter _publications/2025/2025-stage-L3.md Build and Deploy Jekyll / deploy (push) Successful in 44s Details	2026-05-26 13:00:25 +00:00
alois	928ddcc0c1	Actualiser _publications/2024/2024-TIPE.md Build and Deploy Jekyll / deploy (push) Successful in 43s Details	2026-05-26 12:56:29 +00:00
alois	00f8d87363	Actualiser _publications/2024/2024-TIPE.md Build and Deploy Jekyll / deploy (push) Successful in 43s Details	2026-05-26 12:48:38 +00:00
alois	7f8dcf699f	Actualiser _publications/2023/2023-TIPE.md Build and Deploy Jekyll / deploy (push) Successful in 41s Details	2026-05-26 12:42:53 +00:00
alois	48723edc64	ajout miniature Build and Deploy Jekyll / deploy (push) Failing after 37s Details	2026-05-26 12:42:16 +00:00
alois	e5a79ae33f	Actualiser _publications/2024/2024-TIPE.md Build and Deploy Jekyll / deploy (push) Successful in 40s Details	2026-05-26 12:41:32 +00:00
alois	65c3eadc4a	Actualiser _publications/2024/2024-TIPE.md Build and Deploy Jekyll / deploy (push) Successful in 49s Details	2026-05-26 12:27:16 +00:00
alois	ca72eb54ee	Actualiser _publications/2024/2024-pub-example-3.md Build and Deploy Jekyll / deploy (push) Successful in 52s Details	2026-05-26 12:25:59 +00:00
alois	35c885f054	Supprimer _publications/2023/2023-pub-example-no-cover.md Build and Deploy Jekyll / deploy (push) Successful in 12s Details	2026-05-26 12:03:59 +00:00
alois	148af33dbb	Supprimer _publications/2023/2023-pub-example-2.md Build and Deploy Jekyll / deploy (push) Failing after 20s Details	2026-05-26 12:03:47 +00:00
alois	2ec1600dda	Actualiser _publications/2023/2023-TIPE.md Build and Deploy Jekyll / deploy (push) Failing after 37s Details	2026-05-26 12:03:30 +00:00
alois	48306cb747	Supprimer _publications/2024-paper.md Build and Deploy Jekyll / deploy (push) Successful in 38s Details	2026-05-26 11:49:49 +00:00
alois	b3c00734c2	feat: migration vers template academic-homepage original Build and Deploy Jekyll / deploy (push) Successful in 42s Details	2026-05-25 20:23:42 +02:00
alois	87ff37dddb	feat: initialisation site académique Build and Deploy Jekyll / build (push) Has been cancelled Details	2026-05-25 16:15:37 +02:00