Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
|---|---|---|---|---|
Direct member by David Monniaux |
Maintainer
|
Feb 21, 2018
May 27, 2020
May 29, 2022
| ||
Inherited from CertiCompil |
Owner
|
Sep 21, 2017
Nov 28, 2019
Mar 14, 2025
| ||
Direct member by Sylvain Boulme |
Maintainer
|
May 23, 2020
Sep 22, 2021
Jun 14, 2024
| ||
Direct member by David Monniaux |
Maintainer
|
Sep 20, 2017
May 27, 2020
Mar 14, 2025
|
