This website requires JavaScript.
Explore
Help
Sign In
alois
/
CoqResearch
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
All Workflows
Build and Deploy Jekyll
107 workflow runs
Actor
All actors
alois
Status
All status
Success
Failure
Canceled
Skipped
Waiting
Running
Blocked
Canceling
Branch
All branches
main
refonte du footer
Build and Deploy Jekyll #107
:
Commit
4c2f81b6f4
pushed by
alois
main
2026-07-11 14:46:28 +00:00
1m48s
View workflow file
refonte du footer
Build and Deploy Jekyll #106
:
Commit
b833aab37d
pushed by
alois
main
2026-05-27 19:41:00 +00:00
43s
View workflow file
ajouter mois de l'année en français
Build and Deploy Jekyll #105
:
Commit
00c35a8e89
pushed by
alois
main
2026-05-27 19:39:08 +00:00
46s
View workflow file
Actualiser _data/profile.yml
Build and Deploy Jekyll #104
:
Commit
a7dca43893
pushed by
alois
main
2026-05-27 19:29:48 +00:00
44s
View workflow file
changer titre onglet
Build and Deploy Jekyll #103
:
Commit
5740b5f8f2
pushed by
alois
main
2026-05-27 19:28:27 +00:00
4s
View workflow file
Actualiser _layouts/default.html
Build and Deploy Jekyll #102
:
Commit
454fa820f8
pushed by
alois
main
2026-05-27 19:28:27 +00:00
47s
View workflow file
Actualiser _includes/footer.html
Build and Deploy Jekyll #101
:
Commit
9e02546894
pushed by
alois
main
2026-05-26 14:28:57 +00:00
44s
View workflow file
Actualiser _data/authors.yml
Build and Deploy Jekyll #100
:
Commit
169d9751af
pushed by
alois
main
2026-05-26 14:26:23 +00:00
43s
View workflow file
ajout favicon
Build and Deploy Jekyll #99
:
Commit
d3fd4bac58
pushed by
alois
main
2026-05-26 14:23:09 +00:00
44s
View workflow file
Actualiser _data/profile.yml
Build and Deploy Jekyll #98
:
Commit
344910c9e8
pushed by
alois
main
2026-05-26 14:10:17 +00:00
44s
View workflow file
Supprimer le répertoire « _showcase/cats »
Build and Deploy Jekyll #97
:
Commit
928d34b461
pushed by
alois
main
2026-05-26 13:54:17 +00:00
52s
View workflow file
Supprimer _showcase/default/image_text_1.md
Build and Deploy Jekyll #96
:
Commit
2479958cd8
pushed by
alois
main
2026-05-26 13:53:25 +00:00
44s
View workflow file
Supprimer _showcase/default/image_text_2.md
Build and Deploy Jekyll #95
:
Commit
9e457d82cd
pushed by
alois
main
2026-05-26 13:51:21 +00:00
45s
View workflow file
Supprimer _showcase/default/badge3.md
Build and Deploy Jekyll #94
:
Commit
01de3d9882
pushed by
alois
main
2026-05-26 13:51:21 +00:00
1m1s
View workflow file
Supprimer _showcase/default/badge2.md
Build and Deploy Jekyll #93
:
Commit
787a341fef
pushed by
alois
main
2026-05-26 13:50:19 +00:00
13s
View workflow file
Supprimer _showcase/default/badge1.md
Build and Deploy Jekyll #92
:
Commit
78cf74fcd0
pushed by
alois
main
2026-05-26 13:50:23 +00:00
23s
View workflow file
Supprimer _showcase/project1.md
Build and Deploy Jekyll #91
:
Commit
f0b970188b
pushed by
alois
main
2026-05-26 13:50:23 +00:00
45s
View workflow file
Actualiser _data/navigation.yml
Build and Deploy Jekyll #90
:
Commit
9f600efe17
pushed by
alois
main
2026-05-26 13:48:12 +00:00
45s
View workflow file
Actualiser _news/ipp-2026.md
Build and Deploy Jekyll #89
:
Commit
95caaba414
pushed by
alois
main
2026-05-26 13:35:28 +00:00
44s
View workflow file
Actualiser _news/start.md
Build and Deploy Jekyll #88
:
Commit
d9ccf96a9f
pushed by
alois
main
2026-05-26 13:33:18 +00:00
44s
View workflow file
Supprimer _posts/2025-01-01-blog-post-2.md
Build and Deploy Jekyll #87
:
Commit
87208bbc6f
pushed by
alois
main
2026-05-26 13:31:59 +00:00
48s
View workflow file
Supprimer _posts/2024-01-01-blog-post-1.md
Build and Deploy Jekyll #86
:
Commit
b056a61fd1
pushed by
alois
main
2026-05-26 13:30:14 +00:00
39s
View workflow file
Actualiser _posts/2026-06-25-creation.md
Build and Deploy Jekyll #85
:
Commit
3b9e99c653
pushed by
alois
main
2026-05-26 13:30:14 +00:00
51s
View workflow file
Supprimer _news/2023-news1.md
Build and Deploy Jekyll #84
:
Commit
57f80cfdbd
pushed by
alois
main
2026-05-26 13:26:34 +00:00
23s
View workflow file
Supprimer _news/2023-news2.md
Build and Deploy Jekyll #83
:
Commit
bc163fe862
pushed by
alois
main
2026-05-26 13:26:37 +00:00
28s
View workflow file
Supprimer _news/2024-news1.md
Build and Deploy Jekyll #82
:
Commit
19545a1ea3
pushed by
alois
main
2026-05-26 13:26:34 +00:00
31s
View workflow file
Actualiser _news/ipp-2026.md
Build and Deploy Jekyll #81
:
Commit
815ed8ae13
pushed by
alois
main
2026-05-26 13:26:34 +00:00
42s
View workflow file
Supprimer _news/2024-01-01-welcome.md
Build and Deploy Jekyll #80
:
Commit
252a70260b
pushed by
alois
main
2026-05-26 13:24:21 +00:00
18s
View workflow file
Supprimer _news/2022-lorem.md
Build and Deploy Jekyll #79
:
Commit
83fa997406
pushed by
alois
main
2026-05-26 13:24:17 +00:00
30s
View workflow file
Actualiser _news/start.md
Build and Deploy Jekyll #78
:
Commit
5a12599e17
pushed by
alois
main
2026-05-26 13:24:21 +00:00
45s
View workflow file
First
Previous
1
2
3
4
Next
Last