Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
|---|---|---|---|---|
Direct member by Robbert Krebbers |
Maintainer
|
Jul 25, 2016
Oct 31, 2018
Sep 21, 2021
| ||
Direct member by Robbert Krebbers |
Maintainer
|
Sep 10, 2018
Oct 31, 2018
Mar 11, 2024
| ||
Inherited from Iris |
Maintainer
|
Oct 28, 2015
Jan 24, 2019
May 10, 2025
| ||
Inherited from Iris |
Owner
|
Apr 28, 2016
Oct 31, 2018
Apr 01, 2025
| ||
Inherited from Iris |
Maintainer
|
Apr 13, 2016
Oct 31, 2018
May 10, 2025
| ||
Inherited from Iris |
Maintainer
|
Sep 22, 2015
Oct 31, 2018
May 10, 2025
| ||
Direct member by Robbert Krebbers |
Maintainer
|
Oct 23, 2015
Oct 31, 2018
Mar 31, 2025
| ||
Inherited from Iris |
Owner
|
Mar 31, 2020
Jul 27, 2021
May 11, 2025
| ||
Inherited from Iris |
Owner
|
Sep 05, 2018
Mar 06, 2020
May 09, 2025
| ||
Inherited from Iris |
Owner
|
Sep 23, 2015
Oct 31, 2018
May 10, 2025
| ||
Inherited from Iris |
Owner
|
Oct 20, 2015
Oct 31, 2018
May 09, 2025
| ||
Inherited from Iris |
Maintainer
|
Jan 04, 2019
Sep 22, 2021
May 10, 2025
| ||
Inherited from Iris |
Maintainer
|
May 04, 2019
Sep 21, 2022
May 11, 2025
| ||
Inherited from Iris |
Maintainer
|
Mar 03, 2019
Mar 03, 2019
Apr 10, 2025
|
