Skip to content

Actions: 0xProject/0x-settler

Actions

Exp.sol Formal Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
9 workflow runs
9 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Formally verified expRayToWad Exp.sol Formal Check #9: Pull request #593 synchronize by duncancmt
23m 19s dcmt/exp
dcmt/exp
23m 19s
Formally verified expRayToWad Exp.sol Formal Check #8: Pull request #593 synchronize by duncancmt
24m 26s dcmt/exp
dcmt/exp
24m 26s
Formally verified expRayToWad Exp.sol Formal Check #7: Pull request #593 synchronize by duncancmt
19m 20s dcmt/exp
dcmt/exp
19m 20s
Formally verified expRayToWad Exp.sol Formal Check #6: Pull request #593 synchronize by duncancmt
24m 43s dcmt/exp
dcmt/exp
24m 43s
Formally verified expRayToWad Exp.sol Formal Check #5: Pull request #593 synchronize by duncancmt
15m 26s dcmt/exp
dcmt/exp
15m 26s
Formally verified expRayToWad Exp.sol Formal Check #4: Pull request #593 synchronize by duncancmt
16m 17s dcmt/exp
dcmt/exp
16m 17s
Formally verified expRayToWad Exp.sol Formal Check #3: Pull request #593 synchronize by duncancmt
26m 39s dcmt/exp
dcmt/exp
26m 39s
Formally verified expRayToWad Exp.sol Formal Check #2: Pull request #593 synchronize by duncancmt
22m 16s dcmt/exp
dcmt/exp
22m 16s
Formally verified expRayToWad Exp.sol Formal Check #1: Pull request #593 opened by duncancmt
10m 15s dcmt/exp
dcmt/exp
10m 15s