2023-12-04T08:21:46Z - 2024-12-04T08:21:46Z
Overview
10 pull requests merged by 1 user
Merged
#10 update workflows
Merged
#9 base/utils.h: add algorithm library (seems to be neccessary on newer systems)
Merged
#8 correct .github/workflows/main.yml
Merged
#7 correct .github/workflows/main.yml
Merged
#6 correct .github/workflows/main.yml
Merged
#5 github doxy task: workflow_dispatch
Merged
#4 add github doxygen workflow + add LICENSE + update README
Merged
#3 dev
Merged
#2 dev
Merged
#1 dev