Pyodide Build

fix crash reported by Nikhil on F* due to unhandled exception while u… #252

Triggered via push January 29, 2025 00:27

master

Status Success

Total duration 20m 25s

Artifacts 1

pyodide.yml

on: push

Produced during runtime

Name	Size
pyodide-wheel Expired	17.8 MB