Skip to content
Build and test EverParse based on a FStar image

propagate parser kinds for nlist to interpreter and front end #784

Sign in to view logs

propagate parser kinds for nlist to interpreter and front end

propagate parser kinds for nlist to interpreter and front end #784

Run time

Learn about OS pricing on GitHub Actions
Job Run time
produce-binary
20m 18s
build
28m 45s
49m 3s