Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: anoma/juvix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,129 workflow runs
1,129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Linear fixities cleanup caches by a branch #888: Pull request #3419 closed by lukaszcz
10s explicit-fixity
explicit-fixity
10s
Foreign Function Interface Juvix Compiler CI #10364: Pull request #3420 synchronize by lukaszcz
38m 57s ffi
ffi
38m 57s
Foreign Function Interface Juvix Compiler CI #10363: Pull request #3420 synchronize by lukaszcz
11m 21s ffi
ffi
11m 21s
Linear fixities Juvix Compiler CI #10362: Pull request #3419 synchronize by lukaszcz
1h 36m 31s explicit-fixity
explicit-fixity
1h 36m 31s
Indexed types and type level natural numbers cleanup caches by a branch #887: Pull request #3399 closed by lukaszcz
14s indexed-types
indexed-types
14s
Indexed types and type level natural numbers (#3399) Juvix Compiler CI #10361: Commit d252373 pushed by lukaszcz
1h 40m 14s main
main
1h 40m 14s
.devcontainer/devcontainer.json Codespaces Prebuilds #115: by github-codespaces bot
22m 27s main
main
22m 27s
Indexed types and type level natural numbers Juvix Compiler CI #10360: Pull request #3399 synchronize by lukaszcz
1h 37m 43s indexed-types
indexed-types
1h 37m 43s
Indexed types and type level natural numbers Juvix Compiler CI #10359: Pull request #3399 ready_for_review by lukaszcz
9m 9s indexed-types
indexed-types
9m 9s
Indexed types and type level natural numbers Juvix Compiler CI #10358: Pull request #3399 synchronize by lukaszcz
6s indexed-types
indexed-types
6s
Indexed types and type level natural numbers Juvix Compiler CI #10357: Pull request #3399 synchronize by lukaszcz
9m 57s indexed-types
indexed-types
9m 57s
Indexed types and type level natural numbers Juvix Compiler CI #10356: Pull request #3399 synchronize by lukaszcz
38m 45s indexed-types
indexed-types
38m 45s
Indexed types and type level natural numbers Juvix Compiler CI #10355: Pull request #3399 synchronize by lukaszcz
24m 58s indexed-types
indexed-types
24m 58s
Indexed types and type level natural numbers Juvix Compiler CI #10354: Pull request #3399 synchronize by lukaszcz
1h 15m 8s indexed-types
indexed-types
1h 15m 8s
Indexed types and type level natural numbers Juvix Compiler CI #10353: Pull request #3399 synchronize by lukaszcz
1h 16m 46s indexed-types
indexed-types
1h 16m 46s
Update ghc to 9.12.2 Juvix Compiler CI #10352: Pull request #3421 synchronize by janmasrovira
1h 47m 27s ghc-9.12.2
ghc-9.12.2
1h 47m 27s
Update ghc to 9.12.2 Juvix Compiler CI #10351: Pull request #3421 opened by janmasrovira
17m 38s ghc-9.12.2
ghc-9.12.2
17m 38s
Indexed types and type level natural numbers Juvix Compiler CI #10350: Pull request #3399 synchronize by lukaszcz
1h 15m 12s indexed-types
indexed-types
1h 15m 12s
Linear fixities Juvix Compiler CI #10349: Pull request #3419 ready_for_review by janmasrovira
1h 36m 58s explicit-fixity
explicit-fixity
1h 36m 58s
Linear fixities Juvix Compiler CI #10348: Pull request #3419 synchronize by janmasrovira
50m 28s explicit-fixity
explicit-fixity
50m 28s
Linear fixities Juvix Compiler CI #10347: Pull request #3419 synchronize by janmasrovira
1h 16m 56s explicit-fixity
explicit-fixity
1h 16m 56s
Foreign Function Interface Juvix Compiler CI #10346: Pull request #3420 opened by lukaszcz
9m 7s ffi
ffi
9m 7s
Indexed types and type level natural numbers Juvix Compiler CI #10345: Pull request #3399 synchronize by janmasrovira
1h 14m 53s indexed-types
indexed-types
1h 14m 53s
Indexed types and type level natural numbers Juvix Compiler CI #10344: Pull request #3399 synchronize by janmasrovira
2m 7s indexed-types
indexed-types
2m 7s
Indexed types and type level natural numbers Juvix Compiler CI #10343: Pull request #3399 synchronize by janmasrovira
1m 17s indexed-types
indexed-types
1m 17s