4 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	e53ea005a0	Update pyodide.yml	2024-11-14 19:26:03 -08:00
Nikolaj Bjorner	4cdc3d6b1a	Update pyodide.yml	2024-11-14 18:59:53 -08:00
Nikolaj Bjorner	4d0394e33f	Update pyodide.yml ... trying to understand paths	2024-11-14 18:54:23 -08:00
Nikolaj Bjorner	0dc4c5e58b	Create pyodide.yml	2024-11-14 18:47:43 -08:00