Skip to content
Gitlab mirror

Remove a type: ignore no longer needed thanks to mpi4p4>=4 #201

Sign in to view logs

Remove a type: ignore no longer needed thanks to mpi4p4>=4

Remove a type: ignore no longer needed thanks to mpi4p4>=4 #201

Triggered via push August 1, 2024 19:13
@inducerinducer
pushed cd5b178
main
Status Success
Total duration 22s
Artifacts –

autopush.yml

on: push
Automatic push to gitlab.tiker.net
12s
Automatic push to gitlab.tiker.net
Fit to window
Zoom out
Zoom in