16 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	751d666e16	Update pyodide.yml	2024-11-15 19:16:54 -08:00
Nikolaj Bjorner	24f9a86539	Update pyodide.yml	2024-11-15 18:49:51 -08:00
Nikolaj Bjorner	dba167472e	Update pyodide.yml	2024-11-15 18:43:51 -08:00
Nikolaj Bjorner	704278caa9	Update pyodide.yml	2024-11-15 18:40:17 -08:00
Nikolaj Bjorner	231248d610	Update pyodide.yml	2024-11-15 18:36:13 -08:00
Nikolaj Bjorner	329e1ddb10	Update pyodide.yml	2024-11-15 18:30:41 -08:00
Nikolaj Bjorner	aab6c1e909	Update pyodide.yml ... Add flags from src\api\js\scripts\build-wasm.ts	2024-11-15 16:57:11 -08:00
Nikolaj Bjorner	88048901f0	Update pyodide.yml	2024-11-15 08:45:51 -08:00
Nikolaj Bjorner	ca6ec0d9e4	fixes to pyodide action ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2024-11-14 21:45:47 -08:00
Audrey Dutcher	3fed840233	update pyodide.yml	2024-11-14 22:15:57 -07:00
Nikolaj Bjorner	eab49da274	Update pyodide.yml ... switch to ubuntu 24	2024-11-14 20:49:33 -08:00
Nikolaj Bjorner	75d0dd891b	Update pyodide.yml ... fix typo emv -> env	2024-11-14 20:12:30 -08:00
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