Skip to content

Actions: Consensys/go-corset

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
450 workflow runs
450 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: fix error (#584) build #438: Commit 8a8f301 pushed by DavePearce
January 26, 2025 20:12 14m 2s main
main
January 26, 2025 20:12 14m 2s
feat: tweak parallel constraint checking build #437: Pull request #603 synchronize by DavePearce
January 26, 2025 20:10 14m 8s 602-feat-tweak-parallel-constraint-checking
602-feat-tweak-parallel-constraint-checking
January 26, 2025 20:10 14m 8s
feat: tweak parallel constraint checking build #436: Pull request #603 synchronize by DavePearce
January 24, 2025 09:06 14m 6s 602-feat-tweak-parallel-constraint-checking
602-feat-tweak-parallel-constraint-checking
January 24, 2025 09:06 14m 6s
feat: tweak parallel constraint checking build #435: Pull request #603 opened by DavePearce
January 24, 2025 09:01 5m 19s 602-feat-tweak-parallel-constraint-checking
602-feat-tweak-parallel-constraint-checking
January 24, 2025 09:01 5m 19s
chore: fix error build #434: Pull request #584 synchronize by DavePearce
January 24, 2025 05:16 13m 59s futreall:main
futreall:main
January 24, 2025 05:16 13m 59s
feat: optimise normalisation over binary values (#600) build #433: Commit ea36be0 pushed by DavePearce
January 24, 2025 03:58 13m 38s main
main
January 24, 2025 03:58 13m 38s
chore: fix error build #432: Pull request #584 synchronize by DavePearce
January 24, 2025 03:37 16m 47s futreall:main
futreall:main
January 24, 2025 03:37 16m 47s
feat: optimise normalisation over binary values build #431: Pull request #600 synchronize by DavePearce
January 24, 2025 03:35 15m 45s 381-optimising-zero-checks
381-optimising-zero-checks
January 24, 2025 03:35 15m 45s
feat: optimise normalisation over binary values build #430: Pull request #600 opened by DavePearce
January 24, 2025 03:13 15m 49s 381-optimising-zero-checks
381-optimising-zero-checks
January 24, 2025 03:13 15m 49s
feat: tidy up debug stats (#598) build #429: Commit dd86f82 pushed by DavePearce
January 23, 2025 21:31 14m 16s main
main
January 23, 2025 21:31 14m 16s
feat: tidy up debug stats build #428: Pull request #598 opened by DavePearce
January 23, 2025 20:56 14m 19s 597-feat-improved-debug-statistics
597-feat-improved-debug-statistics
January 23, 2025 20:56 14m 19s
feat: improved constant propagation (#596) build #427: Commit fe70003 pushed by DavePearce
January 23, 2025 04:17 14m 21s main
main
January 23, 2025 04:17 14m 21s
feat: improved constant propagation build #426: Pull request #596 synchronize by DavePearce
January 23, 2025 03:43 14m 12s 595-feat-support-partial-constant-propagation
595-feat-support-partial-constant-propagation
January 23, 2025 03:43 14m 12s
feat: improved constant propagation build #425: Pull request #596 opened by DavePearce
January 23, 2025 03:41 2m 35s 595-feat-support-partial-constant-propagation
595-feat-support-partial-constant-propagation
January 23, 2025 03:41 2m 35s
feat: flattern nested arithmetic (#594) build #424: Commit a39d8e8 pushed by DavePearce
January 23, 2025 02:43 13m 33s main
main
January 23, 2025 02:43 13m 33s
feat: flattern nested arithmetic build #423: Pull request #594 opened by DavePearce
January 23, 2025 02:21 14m 12s 593-feat-expand-nested-arithmetic
593-feat-expand-nested-arithmetic
January 23, 2025 02:21 14m 12s
fix: translation of perspective selectors (#592) build #422: Commit 196ab85 pushed by DavePearce
January 23, 2025 02:09 13m 44s main
main
January 23, 2025 02:09 13m 44s
fix: translation of perspective selectors build #421: Pull request #592 opened by DavePearce
January 23, 2025 01:49 13m 39s 591-fix-translation-of-perspective-selectors
591-fix-translation-of-perspective-selectors
January 23, 2025 01:49 13m 39s
feat: drop specialisations for eq and eq! (#590) build #420: Commit a30a114 pushed by DavePearce
January 23, 2025 01:27 13m 30s main
main
January 23, 2025 01:27 13m 30s
feat: drop specialisations for eq and eq! build #419: Pull request #590 opened by DavePearce
January 23, 2025 01:13 13m 42s 588-fix-incorrect-application-of-overloading
588-fix-incorrect-application-of-overloading
January 23, 2025 01:13 13m 42s
fix: guard and perspective selector translation (#587) build #418: Commit e95af4c pushed by DavePearce
January 23, 2025 00:54 13m 40s main
main
January 23, 2025 00:54 13m 40s
fix: guard and perspective selector translation build #417: Pull request #587 opened by DavePearce
January 23, 2025 00:29 13m 40s 586-fix-ordering-of-guarded-if
586-fix-ordering-of-guarded-if
January 23, 2025 00:29 13m 40s
chore: fix error build #416: Pull request #584 opened by futreall
January 22, 2025 17:29 14m 43s futreall:main
futreall:main
January 22, 2025 17:29 14m 43s
fix: set default sort direction to positive (#583) build #415: Commit 77d304f pushed by DavePearce
January 22, 2025 06:41 14m 9s main
main
January 22, 2025 06:41 14m 9s
fix: set default sort direction to positive build #414: Pull request #583 opened by DavePearce
January 22, 2025 06:25 16m 34s 580-fix-incorrect-default-sign-for-defpermutation
580-fix-incorrect-default-sign-for-defpermutation
January 22, 2025 06:25 16m 34s