Commits
User selector
Commit History
Commits on Jan 27, 2023
CI: give x86_64-linux-release a little more time
Show description for f68d3c6committed
Commits on Jan 25, 2023
Commits on Jan 23, 2023
move CONTRIBUTING.md to the wiki
Show description for bbfbb7bcommitted
Commits on Jan 22, 2023
Commits on Jan 18, 2023
Commits on Jan 17, 2023
Commits on Dec 10, 2022
Commits on Dec 5, 2022
CI: adjust logic for cancelling workflows
Show description for dc852f8committed
Commits on Dec 1, 2022
Commits on Nov 25, 2022
- committed
- committed
- committed
- committed
- committed
- committed
ci: when running the workflow manually, preserve newer ci folder
Show description for bc90f2acommitted- committed
- committed
Commits on Nov 24, 2022
Commits on Nov 23, 2022
- committed
- committed
ci: only run CI on pull requests and master branch pushes
Show description for 5453ec8committed
Commits on Nov 22, 2022
- committed
- authored andcommitted
- authored andcommitted
- committed
- committed
Commits on Nov 15, 2022
Commits on Nov 14, 2022
Commits on Nov 11, 2022
Commits on Oct 27, 2022
build: rename the "skip lib files" option
Show description for 0b99e5ecommitted- committed