Build #14:   Upgrade net9 (#12) * Upgrade to net9 * CI: upgrade to net9; on push for all except ma... on branch master 8 months ago