Skip to content
NemoCI

Clean up the mess I created when I cleaned up NemoStuff.jl (#1780) #567

Sign in to view logs

Clean up the mess I created when I cleaned up NemoStuff.jl (#1780)

Clean up the mess I created when I cleaned up NemoStuff.jl (#1780) #567

Triggered via push August 29, 2024 09:40
@thofmathofma
pushed 75a8537
master
Status Success
Total duration 11m 29s
Artifacts –

nemo.yml

on: push
generatematrix
45s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in