Skip to content
Run tests

Move obvious type piracy from Hecke to Nemo #1641

Sign in to view logs

Move obvious type piracy from Hecke to Nemo

Move obvious type piracy from Hecke to Nemo #1641

Triggered via pull request June 30, 2023 16:55
@lgoettgenslgoettgens
synchronize #1501
lgoettgens:lg/hecke-piracy
Status Success
Total duration 25m 44s
Artifacts –

CI.yml

on: pull_request
Documentation
4m 23s
Documentation
Matrix: test
Fit to window
Zoom out
Zoom in