Skip to content
Build Pull Request

Splits existing prelude into WTSE/Formula versions and adds it to WTSE #54

Sign in to view logs

Splits existing prelude into WTSE/Formula versions and adds it to WTSE

Splits existing prelude into WTSE/Formula versions and adds it to WTSE #54

This job succeeded