Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.11.2 #166559
release-notes-1.7.0
d71ae437
fp
#60422 by Tej Chajed's avatar build

00:05:28

passed build-coq.8.14.1-mr #166558
release-notes-1.7.0
d71ae437
fp
#60422 by Tej Chajed's avatar build

00:09:56

passed build-coq.8.11.2 #161263
avoid-deprecated-nat-defs
17190de7
fp
#58441 by Tej Chajed's avatar build

00:04:22

passed build-coq.8.14.1-mr #161262
avoid-deprecated-nat-defs
17190de7
fp
#58441 by Tej Chajed's avatar build

00:04:15

passed build-coq.8.11.2 #161219
avoid-deprecated-nat-defs
0210d4c9
fp
#58429 by Tej Chajed's avatar build

00:04:20

passed build-coq.8.14.1-mr #161218
avoid-deprecated-nat-defs
0210d4c9
fp
#58429 by Tej Chajed's avatar build

00:04:16

passed build-coq.8.11.2 #161149
avoid-deprecated-nat-defs
4201c413
fp
#58393 by Tej Chajed's avatar build

00:11:19

passed build-coq.8.14.1-mr #161148
avoid-deprecated-nat-defs
4201c413
fp
#58393 by Tej Chajed's avatar build

00:12:00

passed build-coq.8.10.2 #159425
fix-coq-lint-macos
7d7097a6
fp
#57756 by Tej Chajed's avatar build

00:04:35

passed build-coq.8.13.2-mr #159424
fix-coq-lint-macos
7d7097a6
fp
#57756 by Tej Chajed's avatar build

00:04:09

passed build-coq.8.10.2 #159423
fix-coq-lint-macos
183fdb94
fp
#57755 by Tej Chajed's avatar build

00:04:50

passed build-coq.8.13.2-mr #159422
fix-coq-lint-macos
183fdb94
fp
#57755 by Tej Chajed's avatar build

00:07:18

passed build-coq.8.10.2 #154695
release-notes-1.6.0
1c6cfba2
fp
#56376 by Tej Chajed's avatar build

00:04:36

passed build-coq.8.13.2-mr #154694
release-notes-1.6.0
1c6cfba2
fp
#56376 by Tej Chajed's avatar build

00:04:11

passed build-coq.8.10.2 #153309
release-notes-1.6.0
4c89c504
fp
#56167 by Tej Chajed's avatar build

00:05:04

passed build-coq.8.13.2-mr #153308
release-notes-1.6.0
4c89c504
fp
#56167 by Tej Chajed's avatar build

00:04:25

canceled build-coq.8.10.2 #153307
release-notes-1.6.0
a2f1ba82
fp
#56166 by Tej Chajed's avatar build

00:00:28

canceled build-coq.8.13.2-mr #153306
release-notes-1.6.0
a2f1ba82
fp
#56166 by Tej Chajed's avatar build

00:00:28

canceled build-coq.8.10.2 #153279
release-notes-1.6.0
307c14a1
fp
#56162 by Tej Chajed's avatar build

00:02:42

canceled build-coq.8.13.2-mr #153278
release-notes-1.6.0
307c14a1
fp
#56162 by Tej Chajed's avatar build

00:02:43

passed build-coq.8.10.2 #153128
release-notes-1.6.0
b5b97894
fp
#56113 by Tej Chajed's avatar build

00:05:02

passed build-coq.8.13.2-mr #153127
release-notes-1.6.0
b5b97894
fp
#56113 by Tej Chajed's avatar build

00:07:42

passed build-coq.8.10.2 #150530
adjust-focused-goal
06c4277c
fp
#55142 by Tej Chajed's avatar build

00:11:22

passed build-coq.8.13.2-mr #150529
adjust-focused-goal
06c4277c
fp
#55142 by Tej Chajed's avatar build

00:11:15

canceled build-coq.8.7.0 #20811
master
be4eb648
fp
#13160 by Tej Chajed's avatar build

canceled build-coq.8.7.1 #20810
master
be4eb648
fp
#13160 by Tej Chajed's avatar build

canceled build-coq.8.7.2 #20809
master
be4eb648
fp-timing
#13160 by Tej Chajed's avatar build

canceled build-coq.8.8.0 #20808
master
be4eb648
fp-timing
#13160 by Tej Chajed's avatar build

canceled build-coq.8.8.1 #20807
master
be4eb648
fp
#13160 by Tej Chajed's avatar build

canceled build-coq.8.8.2 #20806
master
be4eb648
fp
#13160 by Tej Chajed's avatar build