collapseBuild Queue
No builds in the queue.
 rvwork-0
1Idle
 rvwork-2
1Idle
2Idle
3Idle
 rvwork-3
1Idle
2Idle
3Idle
 rvwork-4
1Idle
2Idle
3Idle
collapseEC2 Fleet Status

GitHub Repository evm-semantics

EVM Semantics
   S   WNameLast SuccessLast FailureLast Duration  
Aborted50%
WDescription%
Build stability: 1 out of the last 2 builds failed.50
PR-534N/A 5 mo 2 days - PR 534: Migrate web3 to Firefly repo9 min 26 sec 
Aborted100%
WDescription%
Build stability: No recent builds failed.100
PR-612N/AN/AN/A 
Success100%
WDescription%
Build stability: No recent builds failed.100
PR-643 3 mo 15 days - PR 643: symtestN/A1 hr 48 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
PR-651N/A 2 mo 26 days - PR 651: TEST: totalSupply proof2 hr 34 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
PR-723N/A 1 mo 28 days - PR 723: Limit specs proofs48 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
PR-724N/A 1 mo 16 days - PR 724: Hkg with the Haskell backend 41 min 
Disabled100%
WDescription%
Build stability: No recent builds failed.100
PR-733 5 days 7 hr - PR 733: Add lemmas needed by the Haskell backend 1 mo 22 days - PR 733: Add lemmas needed by the Haskell backend1 hr 52 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
PR-735N/A 1 mo 24 days - PR 735: improve gas calculation for verification9 min 4 sec 
Aborted100%
WDescription%
Build stability: No recent builds failed.100
PR-738N/AN/AN/A 
Failed66%
WDescription%
Build stability: 1 out of the last 3 builds failed.66
PR-741 1 mo 14 days - PR 741: Some of the lemmas needed to make HKG work with the Haskell backend 1 mo 10 days - PR 741: Some of the lemmas needed to make HKG work with the Haskell backend59 min 
Disabled100%
WDescription%
Build stability: No recent builds failed.100
PR-752 14 days - PR 752: Update dependency: deps/kN/A1 hr 5 min 
Aborted66%
WDescription%
Build stability: 1 out of the last 3 builds failed.66
PR-754 18 days - PR 754: Unit test for failing Arbitrum `eth_call` 17 days - PR 754: Unit test for failing Arbitrum `eth_call`1 hr 36 min 
Disabled33%
WDescription%
Build stability: 2 out of the last 3 builds failed.33
PR-758 15 days - PR 758: Simplification rules for bool2Word 15 days - PR 758: Simplification rules for bool2Word1 hr 14 min 
Disabled100%
WDescription%
Build stability: No recent builds failed.100
PR-759 11 days - PR 759: Update dependency: deps/kN/A1 hr 8 min 
Disabled100%
WDescription%
Build stability: No recent builds failed.100
PR-760 9 days 7 hr - PR 760: Update dependency: deps/kN/A1 hr 23 min 
Disabled100%
WDescription%
Build stability: No recent builds failed.100
PR-761 4 days 3 hr - PR 761: Update dependency: deps/kN/A1 hr 34 min 
Disabled100%
WDescription%
Build stability: No recent builds failed.100
PR-762 8 days 23 hr - PR 762: Fix a couple of bugsN/A1 hr 10 min 
Disabled100%
WDescription%
Build stability: No recent builds failed.100
PR-763 5 days 9 hr - PR 763: Haskell concrete lemmasN/A1 hr 22 min 
Disabled100%
WDescription%
Build stability: No recent builds failed.100
PR-764 4 days 14 hr - PR 764: Add back Jello Paper deploy 5 days 11 hr - PR 764: Add back Jello Paper deploy1 hr 8 min 
Disabled100%
WDescription%
Build stability: No recent builds failed.100
PR-765 2 days 10 hr - PR 765: New slow listsN/A1 hr 23 min 
Disabled20%
WDescription%
Build stability: 4 out of the last 5 builds failed.20
PR-766 2 days 14 hr - PR 766: Refactor `finishTX` in Web3 2 days 16 hr - PR 766: Refactor `finishTX` in Web3 1 hr 10 min 
Disabled40%
WDescription%
Build stability: 3 out of the last 5 builds failed.40
PR-767 1 day 6 hr - PR 767: Implement firefly_setGasPrice 1 day 8 hr - PR 767: Implement firefly_setGasPrice1 hr 18 min 
Success100%
WDescription%
Build stability: No recent builds failed.100
PR-768 2 days 8 hr - PR 768: Update dependency: deps/kN/A1 hr 20 min 
Failed0%
WDescription%
Build stability: All recent builds failed.0
PR-769N/A 1 day 3 hr - PR 769: Helper changes for symbolic testing1 hr 10 min 
Icon:  S M L