diff --git a/.gitea/workflows/deploy.yml b/.gitea/workflows/deploy.yml
new file mode 100644
index 0000000..51d5199
--- /dev/null
+++ b/.gitea/workflows/deploy.yml
@@ -0,0 +1,46 @@
+name: Build and Deploy Jekyll
+
+on:
+ push:
+ branches:
+ - main
+
+jobs:
+ build:
+ runs-on: native
+ timeout-minutes: 15
+ steps:
+ - name: Checkout
+ env:
+ GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
+ run: |
+ git clone --depth 1 https://alois:${GITEA_TOKEN}@git.alocoq.fr/alois/CoqResearch.git .
+
+ - name: Install Ruby and Jekyll
+ run: |
+ apk add --no-cache ruby ruby-dev ruby-bundler build-base
+ bundle install --path vendor/bundle
+
+ - name: Build
+ run: bundle exec jekyll build
+
+ - name: Install kubectl
+ run: |
+ wget -q https://dl.k8s.io/release/v1.31.0/bin/linux/amd64/kubectl
+ chmod +x kubectl
+ mv kubectl /usr/local/bin/kubectl
+
+ - name: Deploy
+ env:
+ KUBE_TOKEN: ${{ secrets.KUBE_TOKEN }}
+ KUBE_SERVER: ${{ secrets.KUBE_SERVER }}
+ run: |
+ unset KUBERNETES_SERVICE_HOST KUBERNETES_SERVICE_PORT
+ kubectl config set-cluster homelab \
+ --server=${KUBE_SERVER} \
+ --insecure-skip-tls-verify=true
+ kubectl config set-credentials deployer --token=${KUBE_TOKEN}
+ kubectl config set-context homelab --cluster=homelab --user=deployer
+ kubectl config use-context homelab
+ POD=$(kubectl get pods -n research -l app=research-nginx -o jsonpath='{.items[0].metadata.name}')
+ kubectl cp _site/. research/${POD}:/usr/share/nginx/html/
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..977da93
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,7 @@
+_site/
+.sass-cache/
+.jekyll-cache/
+.jekyll-metadata
+vendor/
+.bundle/
+Gemfile.lock
diff --git a/404.html b/404.html
new file mode 100644
index 0000000..f379222
--- /dev/null
+++ b/404.html
@@ -0,0 +1,10 @@
+---
+layout: default
+title: "404 — Page introuvable"
+---
+
+
đź”
+
Page introuvable
+
Cette page n'existe pas ou a été déplacée.
+
Retour Ă l'accueil
+
+
+
+
{{ site.name }}
+
+
{{ site.data.profile.bio }}
+
+ {% if site.email %}
✉ Email{% endif %}
+ {% if site.github %}
GitHub{% endif %}
+ {% if site.linkedin %}
LinkedIn{% endif %}
+ {% if site.google_scholar %}
Google Scholar{% endif %}
+ {% if site.orcid %}
ORCID{% endif %}
+
+
+
+
Actualités
+
+ {% for item in site.news limit:5 %}
+ -
+ {{ item.date | date: "%b %Y" }}
+ {{ item.content | markdownify | remove: '
' | remove: '
' }}
+
+ {% endfor %}
+
+
+
Publications sélectionnées
+
+ {% assign selected = site.publications | where: "selected", true %}
+ {% for pub in selected %}
+
+
+
{{ pub.title }}
+
{{ pub.authors }}
+
{{ pub.venue }}, {{ pub.year }}
+
+ {% if pub.paper_url %}
Paper{% endif %}
+ {% if pub.code_url %}
Code{% endif %}
+
+
+
+ {% endfor %}
+
+
+
Intérêts
+
+ {% for interest in site.data.profile.interests %}
+ {{ interest }}
+ {% endfor %}
+
+
+
Formation
+
+ {% for edu in site.data.profile.education %}
+ -
+
+
{{ edu.degree }}
+
{{ edu.institution }}
+
{{ edu.year }}
+
+ {% endfor %}
+
+
Publications
+
+ {% assign pubs_by_year = site.publications | group_by: "year" | sort: "name" | reverse %}
+ {% for year_group in pubs_by_year %}
+
+
{{ year_group.name }}
+ {% for pub in year_group.items %}
+
+
+
{{ pub.title }}
+
{{ pub.authors }}
+
{{ pub.venue }}
+
+ {% if pub.paper_url %}
Paper{% endif %}
+ {% if pub.code_url %}
Code{% endif %}
+
+
+
+ {% endfor %}
+
+ {% endfor %}
+
Projets
+