Skip to content
CI

[CN] Pure term (partial) evaluation #1048

Sign in to view logs

[CN] Pure term (partial) evaluation

[CN] Pure term (partial) evaluation #1048

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (4.14.1)
16m 39s
16m 39s