Skip to content
Success

#1693 (Apr 3, 2023, 9:20:47 PM)

Started 2 yr 8 mo ago
Took 16 sec
Changes
  1. Update Github actions to ubuntu-22.04 (commit: bd7bd27) (details)