Skip to content
Lint Code Base

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

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 #35

Triggered via pull request January 25, 2024 04:49
@mmhelloworldmmhelloworld
synchronize #170
feature/issue-140-idris-from-java
Status Failure
Total duration 9s
Artifacts –

ci-super-linter.yml

on: pull_request
Lint Code Base
0s
Lint Code Base
Fit to window
Zoom out
Zoom in

Annotations

1 error
Lint Code Base
Unable to resolve action `github/super-linter@v5.7.2`, unable to find version `v5.7.2`