10000 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,031 workflow runs
4,031 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
build: update checkout action to v4 Juvix Compiler CI #10207: Pull request #3398 opened by dizer-ti
April 24, 2025 16:32 1h 33m 19s dizer-ti:main
dizer-ti:main
April 24, 2025 16:32 1h 33m 19s
Fix expected explicit argument error message Juvix Compiler CI #10206: Pull request #3397 opened by janmasrovira
April 24, 2025 14:52 1h 34m 28s fix-expected-explicit-error
fix-expected-explicit-error
April 24, 2025 14:52 1h 34m 28s
Improve Nock code generation cleanup caches by a branch #872: Pull request #3395 closed by lukaszcz
April 24, 2025 11:30 11s improve-nock-code
improve-nock-code
April 24, 2025 11:30 11s
Improve Nock code generation (#3395) Juvix Compiler CI #10205: Commit f390420 pushed by lukaszcz
April 24, 2025 11:30 1h 34m 19s main
main
April 24, 2025 11:30 1h 34m 19s
Improve Nock code generation Juvix Compiler CI #10204: Pull request #3395 synchronize by janmasrovira
April 24, 2025 09:58 1h 31m 32s improve-nock-code
improve-nock-code
April 24, 2025 09:58 1h 31m 32s
Fix modular compilation with transitive imports cleanup caches by a branch #871: Pull request #3396 closed by lukaszcz
April 24, 2025 09:54 12s anoma-module-submission
anoma-module-submission
April 24, 2025 09:54 12s
Fix modular compilation with transitive imports (#3396) Juvix Compiler CI #10203: Commit 075b7d1 pushed by lukaszcz
April 24, 2025 09:54 1h 35m 4s main
main
April 24, 2025 09:54 1h 35m 4s
Fix modular compilation with transitive imports Juvix Compiler CI #10202: Pull request #3396 ready_for_review by lukaszcz
April 23, 2025 14:49 1h 35m 44s anoma-module-submission
anoma-module-submission
April 23, 2025 14:49 1h 35m 44s
Fix modular compilation with transitive imports Juvix Compiler CI #10201: Pull request #3396 synchronize by lukaszcz
April 23, 2025 14:21 28m 42s anoma-module-submission
anoma-module-submission
April 23, 2025 14:21 28m 42s
Fix modular compilation with transitive imports Juvix Compiler CI #10200: Pull request #3396 opened by lukaszcz
April 22, 2025 18:09 1h 43m 45s anoma-module-submission
anoma-module-submission
April 22, 2025 18:09 1h 43m 45s
Improve Nock code generation Juvix Compiler CI #10199: Pull request #3395 synchronize by lukaszcz
April 22, 2025 11:16 1h 50m 22s improve-nock-code
improve-nock-code
April 22, 2025 11:16 1h 50m 22s
Anoma HTTP JSON client communication cleanup caches by a branch #870: Pull request #3391 closed by lukaszcz
April 22, 2025 11:16 15s anoma-json-client
anoma-json-client
April 22, 2025 11:16 15s
Anoma HTTP JSON client communication (#3391) Juvix Compiler CI #10198: Commit 8c3a912 pushed by lukaszcz
April 22, 2025 11:16 1h 49m 18s main
main
April 22, 2025 11:16 1h 49m 18s
Improve Nock code generation Juvix Compiler CI #10197: Pull request #3395 opened by lukaszcz
April 22, 2025 08:42 1h 42m 59s improve-nock-code
improve-nock-code
April 22, 2025 08:42 1h 42m 59s
0