Skip to content

Replace ubuntu18.04 with ubuntu20.04 #60

Replace ubuntu18.04 with ubuntu20.04

Replace ubuntu18.04 with ubuntu20.04 #60

Annotations

1 warning

Compute matrix

succeeded Oct 23, 2024 in 7s