Skip to content
.github/workflows/main.yml

fix parsing error : return commands even when the end of the file contains parsing error #2241

Sign in to view logs

fix parsing error : return commands even when the end of the file contains parsing error

fix parsing error : return commands even when the end of the file contains parsing error #2241

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_lambdapi (5.1.1)
7m 19s
build_lambdapi (5.0.0)
7m 50s
build_vscode_extension
20s
build_lambdapi (4.14.1)
7m 33s
build_lambdapi (4.13.1)
7m 44s
build_lambdapi (4.12.1)
7m 30s
build_lambdapi (4.11.2)
7m 50s
build_lambdapi (4.10.2)
8m 10s
build_lambdapi (4.09.1)
7m 23s
build_lambdapi (4.08.1)
7m 52s
1h 9m 31s