name | Steffen Hildebrandt |
Crates.io: | SHildebrandt |
GitHub user: | SHildebrandt |
name | repo |
---|
name | update at | owner | repo | count | CI | fmt |
---|---|---|---|---|---|---|
logicng | 2023-09-18 13:07:22.297088 | Steffen Hildebrandt | repo | 40 | GitHub Action | fmt |
logicng-open-wbo-sys | 2023-09-18 13:02:24.763452 | Steffen Hildebrandt | repo | 40 | GitHub Action | fmt |