Skip to content
.github/workflows/push_pr.yml

Lemma 7.1.1, 7.1.2 and most of 7.1.5 #364

Sign in to view logs

Lemma 7.1.1, 7.1.2 and most of 7.1.5

Lemma 7.1.1, 7.1.2 and most of 7.1.5 #364

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint style
1s
Build project
7m 36s
7m 37s