This website requires JavaScript.
Explore
Help
Sign In
alois
/
CoqResearch
Watch
1
Star
0
Fork
0
You've already forked CoqResearch
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
All Workflows
deploy.yml
107 workflow runs
Actor
All actors
alois
Status
All status
Success
Failure
Waiting
Running
refonte du footer
deploy.yml #107
:
Commit
4c2f81b6f4
pushed by
alois
main
2026-05-27 19:48:51 +00:00
44s
View workflow file
refonte du footer
deploy.yml #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
deploy.yml #105
:
Commit
00c35a8e89
pushed by
alois
main
2026-05-27 19:39:08 +00:00
46s
View workflow file
Actualiser _data/profile.yml
deploy.yml #104
:
Commit
a7dca43893
pushed by
alois
main
2026-05-27 19:29:48 +00:00
44s
View workflow file
changer titre onglet
deploy.yml #103
:
Commit
5740b5f8f2
pushed by
alois
main
2026-05-27 19:28:27 +00:00
4s
View workflow file
Actualiser _layouts/default.html
deploy.yml #102
:
Commit
454fa820f8
pushed by
alois
main
2026-05-27 19:28:27 +00:00
47s
View workflow file
Actualiser _includes/footer.html
deploy.yml #101
:
Commit
9e02546894
pushed by
alois
main
2026-05-26 14:28:57 +00:00
44s
View workflow file
Actualiser _data/authors.yml
deploy.yml #100
:
Commit
169d9751af
pushed by
alois
main
2026-05-26 14:26:23 +00:00
43s
View workflow file
ajout favicon
deploy.yml #99
:
Commit
d3fd4bac58
pushed by
alois
main
2026-05-26 14:23:09 +00:00
44s
View workflow file
Actualiser _data/profile.yml
deploy.yml #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 »
deploy.yml #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
deploy.yml #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
deploy.yml #95
:
Commit
9e457d82cd
pushed by
alois
main
2026-05-26 13:51:21 +00:00
45s
View workflow file
Supprimer _showcase/default/badge3.md
deploy.yml #94
:
Commit
01de3d9882
pushed by
alois
main
2026-05-26 13:51:21 +00:00
1m1s
View workflow file
Supprimer _showcase/default/badge2.md
deploy.yml #93
:
Commit
787a341fef
pushed by
alois
main
2026-05-26 13:50:19 +00:00
13s
View workflow file
Supprimer _showcase/default/badge1.md
deploy.yml #92
:
Commit
78cf74fcd0
pushed by
alois
main
2026-05-26 13:50:23 +00:00
23s
View workflow file
Supprimer _showcase/project1.md
deploy.yml #91
:
Commit
f0b970188b
pushed by
alois
main
2026-05-26 13:50:23 +00:00
45s
View workflow file
Actualiser _data/navigation.yml
deploy.yml #90
:
Commit
9f600efe17
pushed by
alois
main
2026-05-26 13:48:12 +00:00
45s
View workflow file
Actualiser _news/ipp-2026.md
deploy.yml #89
:
Commit
95caaba414
pushed by
alois
main
2026-05-26 13:35:28 +00:00
44s
View workflow file
Actualiser _news/start.md
deploy.yml #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
deploy.yml #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
deploy.yml #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
deploy.yml #85
:
Commit
3b9e99c653
pushed by
alois
main
2026-05-26 13:30:14 +00:00
51s
View workflow file
Supprimer _news/2023-news1.md
deploy.yml #84
:
Commit
57f80cfdbd
pushed by
alois
main
2026-05-26 13:26:34 +00:00
23s
View workflow file
Supprimer _news/2023-news2.md
deploy.yml #83
:
Commit
bc163fe862
pushed by
alois
main
2026-05-26 13:26:37 +00:00
28s
View workflow file
Supprimer _news/2024-news1.md
deploy.yml #82
:
Commit
19545a1ea3
pushed by
alois
main
2026-05-26 13:26:34 +00:00
31s
View workflow file
Actualiser _news/ipp-2026.md
deploy.yml #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
deploy.yml #80
:
Commit
252a70260b
pushed by
alois
main
2026-05-26 13:24:21 +00:00
18s
View workflow file
Supprimer _news/2022-lorem.md
deploy.yml #79
:
Commit
83fa997406
pushed by
alois
main
2026-05-26 13:24:17 +00:00
30s
View workflow file
Actualiser _news/start.md
deploy.yml #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