Clean up the mess I created when I cleaned up `NemoStuff.jl` #566

Sign in to view logs

Triggered via pull request August 29, 2024 06:41

joschmitt

synchronize #1780

joschmitt:js/mulmod

Status Success

Total duration 11m 50s

Artifacts –

nemo.yml

on: pull_request

Matrix: test-oscar