Re-trigger CI

Seems like it just decided it didn't want to pull last time.