28 Commits 1 Branch 0 Tags 1 MiB

Default Branch

master
All checks were successful
CI / Optimization Infrastructure Tests (push) Successful in 19s
Details
CI / Unit Tests (push) Successful in 39s
Details
CI / Integration Tests (push) Successful in 44s
Details
CI / Performance Benchmark (push) Successful in 59s
Details

d7677d7941 · Updated Readme · Updated 2025-12-05 12:36:51 +01:00
 ZIP  TAR.GZ

Branches

Delete Branch

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?