8000 Workflow runs · anoma/juvix · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: anoma/juvix

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update anoma Juvix Compiler CI #10230: Pull request #3402 synchronize by janmasrovira
April 28, 2025 17:34 18m 54s anoma-integration
anoma-integration
April 28, 2025 17:34 18m 54s
Update anoma Juvix Compiler CI #10229: Pull request #3402 synchronize by janmasrovira
April 28, 2025 17:32 2m 49s anoma-integration
anoma-integration
April 28, 2025 17:32 2m 49s
Additional Anoma compilation CLI options (#3403) Juvix Compiler CI #10228: Commit 2c06142 pushed by janmasrovira
April 26, 2025 07:12 1h 31m 19s main
main
April 26, 2025 07:12 1h 31m 19s
Additional Anoma compilation CLI options cleanup caches by a branch #875: Pull request #3403 closed by janmasrovira
April 26, 2025 07:12 15s anoma-cli-options
anoma-cli-options
April 26, 2025 07:12 15s
Use MIX_ENV=prod when launching Anoma Juvix Compiler CI #10227: Pull request #3406 opened by lukaszcz
April 25, 2025 19:06 1h 12m 50s anoma-prod
anoma-prod
April 25, 2025 19:06 1h 12m 50s
Anoma module submission support Juvix Compiler CI #10226: Pull request #3404 synchronize by lukaszcz
April 25, 2025 18:42 1h 31m 50s anoma-modules
anoma-modules
April 25, 2025 18:42 1h 31m 50s
Additional Anoma compilation CLI options Juvix Compiler CI #10225: Pull request #3403 synchronize by lukaszcz
April 25, 2025 17:19 1h 32m 45s anoma-cli-options
anoma-cli-options
April 25, 2025 17:19 1h 32m 45s
Anoma module submission support Juvix Compiler CI #10224: Pull request #3404 synchronize by lukaszcz
April 25, 2025 17:00 38m 48s anoma-modules
anoma-modules
April 25, 2025 17:00 38m 48s
Anoma module submission support Juvix Compiler CI #10223: Pull request #3404 synchronize by lukaszcz
April 25, 2025 16:56 4m 37s anoma-modules
anoma-modules
April 25, 2025 16:56 4m 37s
Additional Anoma compilation CLI options Juvix Compiler CI #10222: Pull request #3403 synchronize by lukaszcz
April 25, 2025 16:50 30m 11s anoma-cli-options
anoma-cli-options
April 25, 2025 16:50 30m 11s
chore: fix incorrect indentation with safer tab-based formatting cleanup caches by a branch #874: Pull request #3405 closed by lukaszcz
April 25, 2025 16:31 Action required mdqst:patch-1
mdqst:patch-1
April 25, 2025 16:31 Action required
Anoma module submission support Juvix Compiler CI #10220: Pull request #3404 opened by lukaszcz
April 25, 2025 16:11 10m 49s anoma-modules
anoma-modules
April 25, 2025 16:11 10m 49s
Additional Anoma compilation CLI options Juvix Compiler CI #10219: Pull request #3403 synchronize by lukaszcz
April 25, 2025 15:50 11m 40s anoma-cli-options
anoma-cli-options
April 25, 2025 15:50 11m 40s
Additional Anoma compilation CLI options Juvix Compiler CI #10218: Pull request #3403 opened by lukaszcz
April 25, 2025 15:50 28s anoma-cli-options
anoma-cli-options
April 25, 2025 15:50 28s
Update anoma Juvix Compiler CI #10217: Pull request #3402 opened by janmasrovira
April 25, 2025 15:26 1h 22m 30s anoma-integration
anoma-integration
April 25, 2025 15:26 1h 22m 30s
Fix expected explicit argument error message Juvix Compiler CI #10215: Pull request #3397 ready_for_review by janmasrovira
April 25, 2025 12:41 1h 31m 53s fix-expected-explicit-error
fix-expected-explicit-error
April 25, 2025 12:41 1h 31m 53s
Fix expected explicit argument error message Juvix Compiler CI #10214: Pull request #3397 synchronize by janmasrovira
April 25, 2025 12:41 6s fix-expected-explicit-error
fix-expected-explicit-error
April 25, 2025 12:41 6s
.devcontainer/devcontainer.json Codespaces Prebuilds #110: by github-codespaces bot
April 25, 2025 09:00 21m 20s main
main
April 25, 2025 09:00 21m 20s
Quote constants in Nock increment optimization (#3400) Juvix Compiler CI #10213: Commit aa10739 pushed by lukaszcz
April 25, 2025 07:52 1h 34m 3s main
main
April 25, 2025 07:52 1h 34m 3s
8000
Quote constants in Nock increment optimization cleanup caches by a branch #873: Pull request #3400 closed by lukaszcz
April 25, 2025 07:52 16s nock-inc
nock-inc
April 25, 2025 07:52 16s
Indexed types and type level natural numbers Juvix Compiler CI #10212: Pull request #3399 synchronize by janmasrovira
April 24, 2025 21:59 9m 3s indexed-types
indexed-types
April 24, 2025 21:59 9m 3s
Indexed types and type level natural numbers Juvix Compiler CI #10211: Pull request #3399 synchronize by janmasrovira
April 24, 2025 21:40 11m 13s indexed-types
indexed-types
April 24, 2025 21:40 11m 13s
Indexed types and type level natural numbers Juvix Compiler CI #10210: Pull request #3399 synchronize by janmasrovira
April 24, 2025 18:52 9m 47s indexed-types
indexed-types
April 24, 2025 18:52 9m 47s
Quote constants in Nock increment optimization Juvix Compiler CI #10209: Pull request #3400 opened by lukaszcz
April 24, 2025 17:50 1h 34m 44s nock-inc
nock-inc
April 24, 2025 17:50 1h 34m 44s
Indexed types and type level natural numbers Juvix Compiler CI #10208: Pull request #3399 opened by janmasrovira
April 24, 2025 17:16 1h 30m 35s indexed-types
indexed-types
April 24, 2025 17:16 1h 30m 35s
0