Skip to content
Build and test Everest

TEST: point to forks and use commits with fixes for F* PR 3072 #301

Sign in to view logs

TEST: point to forks and use commits with fixes for F* PR 3072

TEST: point to forks and use commits with fixes for F* PR 3072 #301

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
7s
build
4m 31s
4m 38s