4 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	8d67feef9f	Update prd.yml	2025-05-17 17:39:37 -07:00
Nikolaj Bjorner	a4e7123437	Update prd.yml	2025-05-17 17:34:43 -07:00
Nikolaj Bjorner	a7fbddd049	Update prd.yml	2025-05-17 17:24:14 -07:00
Nikolaj Bjorner	33812201cb	Create prd.yml	2025-05-16 14:15:52 -07:00