| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| #14 | main | update dev index | push | pending completion | |||
| #13 | main | cleanup config | push | pending completion | |||
| #12 | main | fix git-rev when .git does not exists | push | pending completion | |||
| #11 | main | refine prepare script | push | pending completion | |||
| #10 | main | minor review | push | pending completion | |||
| #9 | main | add serializable interface | push | pending completion | |||
| #8 | main | 0.3.4 | push | pending completion | |||
| #7 | main | refine deployment | push | pending completion | |||
| #6 | main | 0.3.3 | push | pending completion | |||
| #5 | main | make clearing altered optional | push | pending completion | |||
| #4 | main | add alterable interface | push | pending completion | |||
| #3 | pr-workflow-test | add alterable interface | push | pending completion | |||
| #2 | Merge c7b153a8f into 397212db2 | push | pending completion | ||||
| #1 | main | adjustments w.r.t. the repo renaming | push | pending completion |