Open PhilippvK opened 2 years ago
This is a draft. Please do not merge!
This partially resolves #30.
Warning: The implementation of this depends on the GitHub CI which is currently broken due to exceeded quotas. I will continue working on this at a later point in time.
TODO: Rebase commits before merge.
This is a draft. Please do not merge!
This partially resolves #30.
Warning: The implementation of this depends on the GitHub CI which is currently broken due to exceeded quotas. I will continue working on this at a later point in time.