Skip to content

Actions: 0xProject/0x-settler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,045 workflow runs
4,045 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dependabot Slack alerts Dependabot Slack alerts #757: Scheduled
8s master
master
8s
Dependabot Slack alerts Dependabot Slack alerts #756: Scheduled
11s master
master
11s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Integration Tests #2684: Pull request #511 synchronize by duncancmt
6m 8s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
6m 8s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Cbrt.sol Formal Check #23: Pull request #511 synchronize by duncancmt
6m 8s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
6m 8s
Formally prove the correctness of Sqrt.sol and Cbrt.sol 512Math._sqrt Formal Check #9: Pull request #511 synchronize by duncancmt
3m 33s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
3m 33s
Formally prove the correctness of Sqrt.sol and Cbrt.sol tests #2684: Pull request #511 synchronize by duncancmt
8m 55s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
8m 55s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Sqrt.sol Formal Check #26: Pull request #511 synchronize by duncancmt
5m 2s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
5m 2s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Size Limit Check #356: Pull request #511 synchronize by duncancmt
3m 53s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
3m 53s
Formally prove the correctness of Sqrt.sol and Cbrt.sol 512Math._sqrt Formal Check #8: Pull request #511 synchronize by duncancmt
4m 52s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
4m 52s
Formally prove the correctness of Sqrt.sol and Cbrt.sol tests #2683: Pull request #511 synchronize by duncancmt
9m 26s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
9m 26s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Size Limit Check #355: Pull request #511 synchronize by duncancmt
3m 33s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
3m 33s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Cbrt.sol Formal Check #22: Pull request #511 synchronize by duncancmt
6m 43s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
6m 43s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Sqrt.sol Formal Check #25: Pull request #511 synchronize by duncancmt
4m 35s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
4m 35s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Integration Tests #2683: Pull request #511 synchronize by duncancmt
6m 21s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
6m 21s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Size Limit Check #354: Pull request #511 synchronize by duncancmt
3m 49s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
3m 49s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Sqrt.sol Formal Check #24: Pull request #511 synchronize by duncancmt
5m 48s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
5m 48s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Cbrt.sol Formal Check #21: Pull request #511 synchronize by duncancmt
7m 15s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
7m 15s
Formally prove the correctness of Sqrt.sol and Cbrt.sol 512Math._sqrt Formal Check #7: Pull request #511 synchronize by duncancmt
4m 0s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
4m 0s
Formally prove the correctness of Sqrt.sol and Cbrt.sol tests #2682: Pull request #511 synchronize by duncancmt
8m 23s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
8m 23s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Integration Tests #2682: Pull request #511 synchronize by duncancmt
5m 36s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
5m 36s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Sqrt.sol Formal Check #23: Pull request #511 synchronize by duncancmt
4m 51s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
4m 51s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Cbrt.sol Formal Check #20: Pull request #511 synchronize by duncancmt
7m 16s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
7m 16s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Size Limit Check #353: Pull request #511 synchronize by duncancmt
4m 18s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
4m 18s
Formally prove the correctness of Sqrt.sol and Cbrt.sol 512Math._sqrt Formal Check #6: Pull request #511 synchronize by duncancmt
2m 14s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
2m 14s
Formally prove the correctness of Sqrt.sol and Cbrt.sol Integration Tests #2681: Pull request #511 synchronize by duncancmt
5m 40s dcmt/codex-prove-sqrt-cbrt
dcmt/codex-prove-sqrt-cbrt
5m 40s