François Dupressoir activity https://gitlab.com/fdupress 2026-02-26T13:58:45Z tag:gitlab.com,2026-02-07:5078431247 François Dupressoir pushed to project branch master at easycrypt / sha3 2026-02-07T10:57:52Z fdupress François Dupressoir

François Dupressoir (d4761528) at 07 Feb 10:57

bump CI to correct floating branch

... and 4 more commits

tag:gitlab.com,2026-02-07:5078425220 François Dupressoir pushed to project branch next at easycrypt / sha3 2026-02-07T10:55:14Z fdupress François Dupressoir

François Dupressoir (d4761528) at 07 Feb 10:55

bump CI to correct floating branch

 tag:gitlab.com,2026-01-30:5052168152 François Dupressoir deleted project branch merge-subst-with-pr at easycrypt / sha3 2026-01-30T15:16:18Z fdupress François Dupressoir

François Dupressoir (6a9e14ba) at 30 Jan 15:16

tag:gitlab.com,2026-01-30:5052168028 François Dupressoir pushed to project branch next at easycrypt / sha3 2026-01-30T15:16:16Z fdupress François Dupressoir

François Dupressoir (51c881e4) at 30 Jan 15:16

follow breaking EC change

 tag:gitlab.com,2026-01-30:5052168027 François Dupressoir accepted merge request !4: follow breaking EC change at easycrypt / sha3 2026-01-30T15:16:16Z fdupress François Dupressoir

To be merged immediately after https://github.com/EasyCrypt/easycrypt/pull/870