data: automatically update last commit date of projects

Author: github-actions[bot]

data/C4DT/projects.yaml

@@ -34,9 +34,11 @@ projects:
     type: Grant
     description: Research techniques to improve privacy when using electronic identities
     tech_desc: >
-      Today's identity security faces challenges like misuse and tracking. Our goal is to enable secure,
-      anonymous, unlinkable E-ID interactions by researching novel cryptographic algorithms. This boosts
-      user trust, creates new business opportunities, and cuts financial losses after data breaches.
+      Today's identity security faces challenges like misuse and tracking. Our
+      goal is to enable secure, anonymous, unlinkable E-ID interactions by
+      researching novel cryptographic algorithms. This boosts user trust,
+      creates new business opportunities, and cuts financial losses after data
+      breaches.
     incubator:
       work: "Research Grant"
       type: "incubated"
@@ -65,21 +67,22 @@ projects:
       - Gov
       - Infra
     type: Grant
-    description: Combating phishing through vulnerability analysis, detection tools, and best practice guidelines.
+    description: Combating phishing through vulnerability analysis, detection tools,
+      and best practice guidelines.
     tech_desc: >
       This project addresses phishing threats through the analysis of existing
       countermeasures, identification of vulnerabilities, and development of
       innovative solutions including best practice guidelines and tools for
-      email configuration testing and malicious link detection.
-      The initiative enhances organizational and societal resilience against
-      phishing attacks through knowledge dissemination and fosters collaboration
-      among stakeholders.
+      email configuration testing and malicious link detection. The initiative
+      enhances organizational and societal resilience against phishing attacks
+      through knowledge dissemination and fosters collaboration among
+      stakeholders.
     layman_desc: >
       This project tackles phishing—a common online scam where criminals trick
-      people into clicking dangerous links or sharing personal information through
-      deceptive emails.
-      It develops practical guides and easy-to-use tools to help individuals and
-      organizations recognize and protect themselves against these attacks.
+      people into clicking dangerous links or sharing personal information
+      through deceptive emails. It develops practical guides and easy-to-use
+      tools to help individuals and organizations recognize and protect
+      themselves against these attacks.
     tags:
       - Attack
       - Cloud
@@ -94,7 +97,8 @@ projects:
     date_updated: 2026-01-16
 
   seal-digiinov:
-    name: Sécurisation de Digiinov Hmi en adéquation avec le Cyber Resilience Act (CRA)
+    name: Sécurisation de Digiinov Hmi en adéquation avec le Cyber Resilience Act
+      (CRA)
     categories:
       - Security
     applications:
@@ -103,19 +107,21 @@ projects:
     description: Securing industrial HMI software for EU Cyber-Resilience-Act compliance
     tech_desc: >
       This project integrates state-of-the-art software security measures into
-      Digiinov HMI, a platform bridging Operational Technology (OT) and Information
-      Technology (IT) for industrial Human-Machine Interfaces.
-      The collaboration with HEIG-VD and EPFL focuses on achieving compliance with
-      the EU Cyber-Resilience-Act (CRA) requirements before its 2027 enforcement.
-      The security enhancements target the software development lifecycle and
-      maintenance processes for embedded industrial control systems.
+      Digiinov HMI, a platform bridging Operational Technology (OT) and
+      Information Technology (IT) for industrial Human-Machine Interfaces. The
+      collaboration with HEIG-VD and EPFL focuses on achieving compliance with
+      the EU Cyber-Resilience-Act (CRA) requirements before its 2027
+      enforcement. The security enhancements target the software development
+      lifecycle and maintenance processes for embedded industrial control
+      systems.
     layman_desc: >
       This project enhances the security of software used to control and monitor
-      industrial machines, preparing it for new European cybersecurity regulations.
-      The EU's Cyber-Resilience-Act requires software products to meet strict
-      security standards starting in 2027, protecting users from digital threats.
-      By partnering with academic cybersecurity experts, this project ensures
-      machine manufacturers can offer secure, compliant products ahead of schedule.
+      industrial machines, preparing it for new European cybersecurity
+      regulations. The EU's Cyber-Resilience-Act requires software products to
+      meet strict security standards starting in 2027, protecting users from
+      digital threats. By partnering with academic cybersecurity experts, this
+      project ensures machine manufacturers can offer secure, compliant products
+      ahead of schedule.
     tags:
       - Code Analysis
       - Large Language Model

data/DEDIS/projects.yaml

@@ -174,7 +174,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/dedis/kyber
-      date_last_commit: 2025-12-24
+      date_last_commit: 2026-01-20
     lines_of_code: 17000 / 4000
     contacts:
       - name: Pierluca Borsò

data/DSLAB/projects.yaml

@@ -191,7 +191,7 @@ projects:
     code:
       type: Project GitHub
       url: https://github.com/s2e
-      date_last_commit: 2026-01-07
+      date_last_commit: 2026-01-25
     language: C, C++
     license: MIT
     contacts:

data/LAMP/projects.yaml

@@ -16,7 +16,7 @@ projects:
     code:
       type: Project GitHub
       url: https://github.com/scala-js/scala-js
-      date_last_commit: 2026-01-18
+      date_last_commit: 2026-01-25
     language: Scala
     license: Apache-2.0
     tags:
@@ -45,7 +45,7 @@ projects:
     code:
       type: Project GitHub
       url: https://github.com/scala-native/scala-native
-      date_last_commit: 2026-01-15
+      date_last_commit: 2026-01-25
     language: Scala, C
     license: Apache-2.0
     tags:
@@ -80,7 +80,7 @@ projects:
     code:
       type: Project Github
       url: https://github.com/scala/scala3
-      date_last_commit: 2026-01-16
+      date_last_commit: 2026-01-25
     language: Scala
     license: Apache-2.0
     date_added: 2024-04-12

data/LAP/projects.yaml

@@ -16,7 +16,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/EPFL-LAP/dynamatic
-      date_last_commit: 2026-01-17
+      date_last_commit: 2026-01-22
     language: C++
     license: MIT
     tags:

data/LARA/projects.yaml

@@ -15,7 +15,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/epfl-lara/stainless
-      date_last_commit: 2025-12-23
+      date_last_commit: 2026-01-23
     doc: https://epfl-lara.github.io/stainless/
     contacts:
       - name: Viktor Kunčak

data/MLO/projects.yaml

@@ -288,7 +288,7 @@ projects:
     code:
       type: Lab GitHub
       url: https://github.com/epfml/disco
-      date_last_commit: 2026-01-12
+      date_last_commit: 2026-01-22
     language: TypeScript
     license: Apache-2.0
     incubator: