Update CI

1 job for ci in 47 seconds (queued for 3 seconds)