Skip to content

Actions: lfglabs-dev/verity

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Verify proofs Verify proofs #9099: Scheduled
3h 37m 15s main
main
3h 37m 15s
G29: executable constructor for ordinary verity_contract (verity#2465) OpenCodeReview pilot #3479: Issue comment #2470 (comment) created by chatgpt-codex-connector Bot
7s
7s
G29: executable constructor for ordinary verity_contract (verity#2465) OpenCodeReview pilot #3478: Pull request #2470 ready_for_review by Th0rgal
1h 30m 56s
1h 30m 56s
feat(solidity-import): lower exact natural constant products OpenCodeReview pilot #3477: Issue comment #2471 (comment) created by chatgpt-codex-connector Bot
1s
1s
feat(solidity-import): lower exact natural constant products OpenCodeReview pilot #3476: Pull request #2471 opened by Th0rgal
13m 26s
13m 26s
feat(solidity-import): lower exact natural constant products Verify proofs #9098: Pull request #2471 opened by Th0rgal
16s feat/solidity-import-constant-products-linux
feat/solidity-import-constant-products-linux
16s
Pareto fidelity: signed Int256 storage reads (G28), ERC-20 hop lemmas (G14), kernel-eval scope (G2) OpenCodeReview pilot #3475: Issue comment #2469 (comment) created by chatgpt-codex-connector Bot
1s
1s
Pareto fidelity: signed Int256 storage reads (G28), ERC-20 hop lemmas (G14), kernel-eval scope (G2) OpenCodeReview pilot #3474: Pull request #2469 ready_for_review by Th0rgal
45m 37s
45m 37s
G29: executable constructor for ordinary verity_contract (verity#2465) Verify proofs #9097: Pull request #2470 synchronize by Th0rgal
1h 10m 20s fix/pareto-g29-ctor
fix/pareto-g29-ctor
1h 10m 20s
G29: executable constructor for ordinary verity_contract (verity#2465) OpenCodeReview pilot #3473: Pull request #2470 synchronize by Th0rgal
13s
13s
G29: executable constructor for ordinary verity_contract (verity#2465) Verify proofs #9096: Pull request #2470 synchronize by Th0rgal
1h 30m 9s fix/pareto-g29-ctor
fix/pareto-g29-ctor
1h 30m 9s
G29: executable constructor for ordinary verity_contract (verity#2465) OpenCodeReview pilot #3472: Pull request #2470 synchronize by Th0rgal
11s
11s
G29: executable constructor for ordinary verity_contract (verity#2465) Verify proofs #9095: Pull request #2470 synchronize by Th0rgal
2m 30s fix/pareto-g29-ctor
fix/pareto-g29-ctor
2m 30s
G29: executable constructor for ordinary verity_contract (verity#2465) OpenCodeReview pilot #3471: Pull request #2470 synchronize by Th0rgal
12s
12s
G29: executable constructor for ordinary verity_contract (verity#2465) Verify proofs #9094: Pull request #2470 synchronize by Th0rgal
41s fix/pareto-g29-ctor
fix/pareto-g29-ctor
41s
G29: executable constructor for ordinary verity_contract (verity#2465) OpenCodeReview pilot #3470: Pull request #2470 synchronize by Th0rgal
41s
41s
Pareto fidelity: signed Int256 storage reads (G28), ERC-20 hop lemmas (G14), kernel-eval scope (G2) Verify proofs #9093: Pull request #2469 synchronize by Th0rgal
3h 0m 54s fix/pareto-g28-g14-g2
fix/pareto-g28-g14-g2
3h 0m 54s
Pareto fidelity: signed Int256 storage reads (G28), ERC-20 hop lemmas (G14), kernel-eval scope (G2) OpenCodeReview pilot #3469: Pull request #2469 synchronize by Th0rgal
10s
10s
G29: executable constructor for ordinary verity_contract (verity#2465) Verify proofs #9092: Pull request #2470 opened by Th0rgal
1m 36s fix/pareto-g29-ctor
fix/pareto-g29-ctor
1m 36s
G29: executable constructor for ordinary verity_contract (verity#2465) OpenCodeReview pilot #3468: Pull request #2470 opened by Th0rgal
11s
11s
Initialization transcription: contract creation and internal String helpers unsupported at 600014d5 OpenCodeReview pilot #3467: Issue comment #2465 (comment) created by Th0rgal
10s
10s
Pareto fidelity: signed Int256 storage reads (G28), ERC-20 hop lemmas (G14), kernel-eval scope (G2) Verify proofs #9091: Pull request #2469 synchronize by Th0rgal
29m 40s fix/pareto-g28-g14-g2
fix/pareto-g28-g14-g2
29m 40s
Pareto fidelity: signed Int256 storage reads (G28), ERC-20 hop lemmas (G14), kernel-eval scope (G2) OpenCodeReview pilot #3466: Pull request #2469 synchronize by Th0rgal
12s
12s
Pareto fidelity: signed Int256 storage reads (G28), ERC-20 hop lemmas (G14), kernel-eval scope (G2) Verify proofs #9090: Pull request #2469 synchronize by Th0rgal
2m 9s fix/pareto-g28-g14-g2
fix/pareto-g28-g14-g2
2m 9s
Pareto fidelity: signed Int256 storage reads (G28), ERC-20 hop lemmas (G14), kernel-eval scope (G2) OpenCodeReview pilot #3465: Pull request #2469 synchronize by Th0rgal
11s
11s