Skip to content
Lint Code Base

#140 Support creating Java lambdas, export Idris functions as Java classes, constructors, fields and functions #38

Sign in to view logs

#140 Support creating Java lambdas, export Idris functions as Java classes, constructors, fields and functions

#140 Support creating Java lambdas, export Idris functions as Java classes, constructors, fields and functions #38

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint Code Base
1m 46s
1m 46s