2024-01-07T01:32:00Z - 2025-01-07T01:32:00Z
Overview
9 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