Skip to content

Actions: Consensys/go-corset

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
168 workflow runs
168 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #343 from Consensys/340-add-model-for-bit_decompos… build #156: Commit 9d3085e pushed by DavePearce
October 16, 2024 14:00 4m 18s main
main
October 16, 2024 14:00 4m 18s
feat: add model for bit_decomposition example build #155: Pull request #343 opened by DavePearce
October 16, 2024 13:49 4m 5s 340-add-model-for-bit_decomposition-example
340-add-model-for-bit_decomposition-example
October 16, 2024 13:49 4m 5s
Merge pull request #342 from Consensys/335-add-model-for-word_sorting… build #154: Commit f456663 pushed by DavePearce
October 16, 2024 13:35 4m 11s main
main
October 16, 2024 13:35 4m 11s
feat: add model for word_sorting example build #153: Pull request #342 synchronize by DavePearce
October 16, 2024 13:28 4m 17s 335-add-model-for-word_sorting-example
335-add-model-for-word_sorting-example
October 16, 2024 13:28 4m 17s
feat: add model for word_sorting example build #152: Pull request #342 synchronize by DavePearce
October 16, 2024 13:25 4m 3s 335-add-model-for-word_sorting-example
335-add-model-for-word_sorting-example
October 16, 2024 13:25 4m 3s
Merge pull request #341 from Consensys/338-update-hir-syntax-for-colu… build #151: Commit be12c3f pushed by DavePearce
October 16, 2024 13:24 3m 30s main
main
October 16, 2024 13:24 3m 30s
feat: add model for word_sorting example build #150: Pull request #342 opened by DavePearce
October 16, 2024 13:24 4m 8s 335-add-model-for-word_sorting-example
335-add-model-for-word_sorting-example
October 16, 2024 13:24 4m 8s
feat: update syntax of column declarations build #149: Pull request #341 opened by DavePearce
October 16, 2024 12:43 3m 27s 338-update-hir-syntax-for-column-declarations
338-update-hir-syntax-for-column-declarations
October 16, 2024 12:43 3m 27s
Merge pull request #333 from Consensys/332-fix-trace-l build #148: Commit 473acd1 pushed by DavePearce
October 15, 2024 20:10 3m 36s main
main
October 15, 2024 20:10 3m 36s
Fix trace command build #147: Pull request #333 opened by DavePearce
October 15, 2024 19:25 3m 32s 332-fix-trace-l
332-fix-trace-l
October 15, 2024 19:25 3m 32s
Merge pull request #328 from Consensys/130-add-test-generation-models build #146: Commit b687f2e pushed by DavePearce
October 9, 2024 18:11 3m 36s main
main
October 9, 2024 18:11 3m 36s
feat: add test generation models #180 build #145: Pull request #328 opened by DavePearce
October 9, 2024 18:03 3m 43s 130-add-test-generation-models
130-add-test-generation-models
October 9, 2024 18:03 3m 43s
Merge pull request #326 from Consensys/324-support-entropy build #144: Commit adbebee pushed by DavePearce
October 8, 2024 10:47 2m 5s main
main
October 8, 2024 10:47 2m 5s
Support entropy column summariser build #143: Pull request #326 opened by DavePearce
October 8, 2024 10:40 2m 5s 324-support-entropy
324-support-entropy
October 8, 2024 10:40 2m 5s
Merge pull request #322 from Consensys/256-optimise-away-constraints-… build #142: Commit 82f81b5 pushed by DavePearce
October 7, 2024 16:45 2m 18s main
main
October 7, 2024 16:45 2m 18s
fix: prevent adding constraints which always vanish build #141: Pull request #322 opened by DavePearce
October 7, 2024 16:12 2m 11s 256-optimise-away-constraints-which-always-pass
256-optimise-away-constraints-which-always-pass
October 7, 2024 16:12 2m 11s
Merge pull request #321 from Consensys/318-eliminate-duplicate-constr… build #140: Commit cfa4977 pushed by DavePearce
October 7, 2024 15:12 2m 0s main
main
October 7, 2024 15:12 2m 0s
fix: issues around duplicate constraints #318 build #139: Pull request #321 opened by DavePearce
October 7, 2024 15:05 2m 3s 318-eliminate-duplicate-constraints
318-eliminate-duplicate-constraints
October 7, 2024 15:05 2m 3s
Merge pull request #320 from Consensys/317-fix-debug-output build #138: Commit f05ff50 pushed by DavePearce
October 7, 2024 14:38 2m 18s main
main
October 7, 2024 14:38 2m 18s
fix: debug output (#317) build #137: Pull request #320 opened by DavePearce
October 7, 2024 14:31 2m 9s 317-fix-debug-output
317-fix-debug-output
October 7, 2024 14:31 2m 9s
Merge pull request #315 from Consensys/307-memory-usage-during-trace-… build #136: Commit ce1f798 pushed by DavePearce
October 3, 2024 16:36 2m 7s main
main
October 3, 2024 16:36 2m 7s
Support batching for trace expansion build #135: Pull request #315 opened by DavePearce
October 3, 2024 16:32 2m 7s 307-memory-usage-during-trace-expansion
307-memory-usage-during-trace-expansion
October 3, 2024 16:32 2m 7s
Merge pull request #314 from Consensys/313-performance-of-trace-command build #134: Commit f822511 pushed by DavePearce
September 27, 2024 21:45 2m 31s main
main
September 27, 2024 21:45 2m 31s
Parallelise summarisers build #133: Pull request #314 opened by DavePearce
September 27, 2024 21:20 14m 40s 313-performance-of-trace-command
313-performance-of-trace-command
September 27, 2024 21:20 14m 40s
Merge pull request #312 from Consensys/311-support-complex-filter-tra… build #132: Commit 550dc32 pushed by DavePearce
September 25, 2024 15:14 2m 7s main
main
September 25, 2024 15:14 2m 7s