oscar-system / oscar-ci

Main controller repository for OSCAR continuous integration.

oscar-system/oscar-ci Issues

Update notebooks based on successful CI runs
Updated 4 years ago2
Upload test status in YAML instead of or in addition to Markdown
Closed 4 years ago1
Testing the released version in a local env
Updated 4 years ago
Reduce runtimes of individual tests
Updated 5 years ago
Use fixed version of jenkins vs. latest version of jenkins
Updated 5 years ago8
Add tests for "Singular from GAP"
Updated 5 years ago
Testing different linux distributions
Updated 5 years ago2
Automatization of the Jenkins configuration
Updated 5 years ago
clone oscar-ci into ci-meta vs. use the repository directly
Closed 5 years ago2
Use a specific Jenkins version
Closed 5 years ago1
Use specific Ubuntu version
Closed 5 years ago1