Skip to content
Build

[ export ] public export the most common modules from algebra #89

Sign in to view logs

[ export ] public export the most common modules from algebra

[ export ] public export the most common modules from algebra #89

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build the lib with Idris2 HEAD
1m 10s
1m 10s