Status Name Job Pipeline Stage Duration Coverage
passed contracts:8.11 #1720240477
rafoo@separate_macro_expansion
e6da518a
#396467418 by Raphaël Cauderlier's avatar contracts

00:05:11

passed michocoq:8.11 #1720240476
rafoo@separate_macro_expansion
e6da518a
#396467418 by Raphaël Cauderlier's avatar build

00:04:11

passed michocoq:8.10 #1720240475
rafoo@separate_macro_expansion
e6da518a
#396467418 by Raphaël Cauderlier's avatar build

00:04:11

passed lint #1720240474
rafoo@separate_macro_expansion
e6da518a
#396467418 by Raphaël Cauderlier's avatar lint

00:00:12

passed contracts:8.11 #1720234161
proto-proposal
d60ebf1f
#396466233 by Raphaël Cauderlier's avatar contracts

00:05:48

passed michocoq:8.11 #1720234160
proto-proposal
d60ebf1f
#396466233 by Raphaël Cauderlier's avatar build

00:04:09

passed michocoq:8.10 #1720234154
proto-proposal
d60ebf1f
#396466233 by Raphaël Cauderlier's avatar build

00:04:06

passed lint #1720234153
proto-proposal
d60ebf1f
#396466233 by Raphaël Cauderlier's avatar lint

00:00:09

skipped contracts:8.11 #1710024430
rafoo@separate_macro_expansion
7fabbe03
#394431725 by Raphaël Cauderlier's avatar contracts
failed michocoq:8.11 #1710024429
rafoo@separate_macro_expansion
7fabbe03
#394431725 by Raphaël Cauderlier's avatar build

00:05:06

failed michocoq:8.10 #1710024428
rafoo@separate_macro_expansion
7fabbe03
#394431725 by Raphaël Cauderlier's avatar build

00:05:15

passed lint #1710024427
rafoo@separate_macro_expansion
7fabbe03
#394431725 by Raphaël Cauderlier's avatar lint

00:01:14

skipped contracts:8.11 #1707852588
rafoo@separate_macro_expansion
da57efaf
#393911245 by Raphaël Cauderlier's avatar contracts
failed michocoq:8.11 #1707852587
rafoo@separate_macro_expansion
da57efaf
#393911245 by Raphaël Cauderlier's avatar build

00:04:03

failed michocoq:8.10 #1707852585
rafoo@separate_macro_expansion
da57efaf
#393911245 by Raphaël Cauderlier's avatar build

00:04:09

passed lint #1707852583
rafoo@separate_macro_expansion
da57efaf
#393911245 by Raphaël Cauderlier's avatar lint

00:00:10

passed contracts:8.11 #1705936352
rafoo@michelson2micheline2michelson
2e0dfbf0
#393543372 by Raphaël Cauderlier's avatar contracts

00:05:38

passed michocoq:8.11 #1705936350
rafoo@michelson2micheline2michelson
2e0dfbf0
#393543372 by Raphaël Cauderlier's avatar build

00:03:53

passed michocoq:8.10 #1705936349
rafoo@michelson2micheline2michelson
2e0dfbf0
#393543372 by Raphaël Cauderlier's avatar build

00:03:56

passed lint #1705936346
rafoo@michelson2micheline2michelson
2e0dfbf0
#393543372 by Raphaël Cauderlier's avatar lint

00:00:09

skipped contracts:8.11 #1705846693
rafoo@michelson2micheline2michelson
3d9d24a3
#393526206 by Raphaël Cauderlier's avatar contracts
failed michocoq:8.11 #1705846692
rafoo@michelson2micheline2michelson
3d9d24a3
#393526206 by Raphaël Cauderlier's avatar build

00:03:34

failed michocoq:8.10 #1705846691
rafoo@michelson2micheline2michelson
3d9d24a3
#393526206 by Raphaël Cauderlier's avatar build

00:03:35

passed lint #1705846689
rafoo@michelson2micheline2michelson
3d9d24a3
#393526206 by Raphaël Cauderlier's avatar lint

00:00:10

passed contracts:8.11 #1705841701
proto-proposal
4362a50a
#393525219 by Raphaël Cauderlier's avatar contracts

00:02:39

passed michocoq:8.11 #1705841700
proto-proposal
4362a50a
#393525219 by Raphaël Cauderlier's avatar build

00:04:02

passed michocoq:8.10 #1705841698
proto-proposal
4362a50a
#393525219 by Raphaël Cauderlier's avatar build

00:04:02

passed lint #1705841696
proto-proposal
4362a50a
#393525219 by Raphaël Cauderlier's avatar lint

00:00:08

passed contracts:8.11 #1703630931
proto-proposal
5ca7de1b
#393062924 by Raphaël Cauderlier's avatar contracts

00:05:56

passed michocoq:8.11 #1703630912
proto-proposal
5ca7de1b
#393062924 by Raphaël Cauderlier's avatar build

00:04:04