Skip to content

Actions: anoma/juvix

cleanup caches by a branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
494 workflow runs
494 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix highlighting of comments
cleanup caches by a branch #774: Pull request #3226 closed by lukaszcz
December 6, 2024 17:19 22s highlight-comments
December 6, 2024 17:19 22s
Add TopDef property for specs
cleanup caches by a branch #773: Pull request #3223 closed by lukaszcz
December 6, 2024 14:54 25s add-topdef-property
December 6, 2024 14:54 25s
Fix basic block calls in the Reg -> CASM translation
cleanup caches by a branch #772: Pull request #3238 closed by janmasrovira
December 6, 2024 13:28 17s fix-casm-bug
December 6, 2024 13:28 17s
Debug tooling improvements for Reg and CASM
cleanup caches by a branch #771: Pull request #3232 closed by lukaszcz
December 6, 2024 12:09 18s fix-reg-parsing
December 6, 2024 12:09 18s
Update anoma ref to latest lukasz/juvix-integration-tracking
cleanup caches by a branch #769: Pull request #3227 closed by paulcadman
December 6, 2024 09:46 22s update-anoma
December 6, 2024 09:46 22s
Append unique hash to the pre-release tag in the Package.juvix version
cleanup caches by a branch #768: Pull request #3215 closed by janmasrovira
December 6, 2024 08:30 26s hash-globalpkg
December 6, 2024 08:30 26s
anoma start should start the consensus engine
cleanup caches by a branch #767: Pull request #3229 closed by janmasrovira
December 5, 2024 17:12 41s anoma-start-consensus
December 5, 2024 17:12 41s
Fix RISC0 CI
cleanup caches by a branch #766: Pull request #3233 closed by janmasrovira
December 5, 2024 13:12 16s fix-risc0-ci
December 5, 2024 13:12 16s
Remove @?
cleanup caches by a branch #765: Pull request #3216 closed by janmasrovira
December 4, 2024 14:59 23s remove-partial-at
December 4, 2024 14:59 23s
Global option --no-check
cleanup caches by a branch #764: Pull request #3224 closed by lukaszcz
December 4, 2024 12:39 14s option-no-check
December 4, 2024 12:39 14s
Inline non-recursive functions with only one call site
cleanup caches by a branch #763: Pull request #3204 closed by lukaszcz
December 4, 2024 11:01 19s inline-single-call-site
December 4, 2024 11:01 19s
Merge Log effect into Logger effect
cleanup caches by a branch #762: Pull request #3220 closed by lukaszcz
December 3, 2024 18:25 17s 3164-unify-log-and-logger-effects
December 3, 2024 18:25 17s
Hoisting of loop-invariant subexpressions
cleanup caches by a branch #761: Pull request #3195 closed by lukaszcz
December 3, 2024 10:21 19s loop-invariant-code-motion
December 3, 2024 10:21 19s
Fix iterator formatting
cleanup caches by a branch #760: Pull request #3212 closed by lukaszcz
December 3, 2024 08:45 16s fix-iterator-formatting
December 3, 2024 08:45 16s
Make juvix init non-interactive by default
cleanup caches by a branch #759: Pull request #3206 closed by lukaszcz
December 2, 2024 17:07 22s init-not-interactive
December 2, 2024 17:07 22s
Fix Anoma in the CI
cleanup caches by a branch #758: Pull request #3213 closed by lukaszcz
December 2, 2024 15:17 17s fix-anoma-ci
December 2, 2024 15:17 17s
Enable Anoma compilation resource machine builtin tests
cleanup caches by a branch #757: Pull request #3208 closed by lukaszcz
December 2, 2024 13:09 18s enable-resource-machine-builtin
December 2, 2024 13:09 18s
Detect empty standard library directory
cleanup caches by a branch #756: Pull request #3207 closed by lukaszcz
December 2, 2024 09:58 19s detect-empty-stdlib
December 2, 2024 09:58 19s
Fix disappearing judoc in syntax declarations
cleanup caches by a branch #755: Pull request #3205 closed by lukaszcz
December 1, 2024 17:06 21s fix-syntax-judoc
December 1, 2024 17:06 21s
Make FunctionLhs a field of FunctionDef
cleanup caches by a branch #754: Pull request #3202 closed by lukaszcz
December 1, 2024 15:34 17s typesig
December 1, 2024 15:34 17s
Fix aliases to non-recursive names
cleanup caches by a branch #753: Pull request #3203 closed by lukaszcz
December 1, 2024 10:20 22s fix-non-recursive-aliases
December 1, 2024 10:20 22s
Add juvix dev anoma add-transaction command
cleanup caches by a branch #752: Pull request #3193 closed by paulcadman
November 29, 2024 18:09 25s anoma-add-transaction
November 29, 2024 18:09 25s