name | Xavier Denis |
Crates.io: | xldenis |
GitHub user: | xldenis |
name | repo |
---|---|
creusot-contracts-dummy | repo |
creusot-contracts | repo |
creusot-contracts-proc | repo |
pearlite-syn | repo |
name | update at | owner | repo | count | CI | fmt |
---|---|---|---|---|---|---|
creusot-contracts-dummy | 2024-06-25 15:16:37.327674 | Xavier Denis | NA | NA | NA | fmt |
creusot-contracts | 2024-06-25 15:16:15.336086 | Xavier Denis | NA | NA | NA | fmt |
creusot-contracts-proc | 2024-06-25 15:16:08.119116 | Xavier Denis | NA | NA | NA | fmt |
pearlite-syn | 2024-06-25 15:15:57.594302 | Xavier Denis | repo | 2247 | GitHub Action | fmt |
pearlite | 2021-11-18 16:48:35.19812 | Xavier Denis | NA | NA | NA | fmt |