Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Add daily CI jobs (cf. oscar-system/Oscar.jl#4072) * Update .github/workflows/oscar.yml --------- Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
- Loading branch information