This dashboard has not been updated in more than 3 days. This can happen if there have been no recent OSCAR commits. If you suspect a problem with the benchmarking pipeline, please report an issue.
Job Details
Job:
Duration:
Date:
Commit:
Title:
Author:
Keyboard Shortcuts
?Show this helpEscClose popups/dialogsrReset zoom/view
Oscar.jl