Skip to content

Actions: riaqn/flambda-backend

coverage-linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix type compatibility wrt jkind
coverage-linux #276: Commit 87398d8 pushed by riaqn
September 12, 2024 08:19 Failure liam-with-syntax
September 12, 2024 08:19 Failure
fix sort_of_jkind assertion failure
coverage-linux #275: Commit 89c64c2 pushed by riaqn
September 11, 2024 12:31 Failure liam-with-syntax
September 11, 2024 12:31 Failure
fix more issues
coverage-linux #274: Commit 2872598 pushed by riaqn
September 10, 2024 16:22 Failure liam-with-syntax
September 10, 2024 16:22 Failure
fix recursive baggage
coverage-linux #273: Commit 9f0fee8 pushed by riaqn
September 9, 2024 13:43 Failure liam-with-syntax
September 9, 2024 13:43 Failure
Tidy up documentation and naming
coverage-linux #272: Commit cbc308f pushed by ncik-roberts
March 4, 2024 14:36 3m 2s main
March 4, 2024 14:36 3m 2s
move mode coercion syntax to jane_syntax
coverage-linux #271: Commit bacfba0 pushed by riaqn
March 3, 2024 17:07 3m 23s main
March 3, 2024 17:07 3m 23s
pprintast recognize modalities on constructor arguments
coverage-linux #270: Commit 4e7b9a7 pushed by riaqn
March 1, 2024 18:07 2m 41s main
March 1, 2024 18:07 2m 41s
make fmt
coverage-linux #269: Commit 2b0e78a pushed by riaqn
February 29, 2024 16:33 2m 35s main
February 29, 2024 16:33 2m 35s
more test
coverage-linux #268: Commit 8f7f7dc pushed by riaqn
February 29, 2024 16:20 3m 56s main
February 29, 2024 16:20 3m 56s
address comments
coverage-linux #267: Commit 69dad0f pushed by riaqn
February 28, 2024 18:09 2m 56s main
February 28, 2024 18:09 2m 56s
improve mode syntax locations by ghosting
coverage-linux #266: Commit dc90cd0 pushed by riaqn
February 28, 2024 16:59 2m 56s main
February 28, 2024 16:59 2m 56s
avoid Location.ghostify
coverage-linux #265: Commit 9c24d96 pushed by riaqn
February 28, 2024 13:13 2m 45s main
February 28, 2024 13:13 2m 45s
make fmt
coverage-linux #264: Commit 2f83930 pushed by riaqn
February 28, 2024 11:58 4m 25s main
February 28, 2024 11:58 4m 25s
improve mode syntax locations
coverage-linux #263: Commit 1f23e3f pushed by riaqn
February 28, 2024 11:52 3m 23s main
February 28, 2024 11:52 3m 23s
better solution
coverage-linux #262: Commit 240c347 pushed by riaqn
February 22, 2024 10:41 2m 36s main
February 22, 2024 10:41 2m 36s
better solution
coverage-linux #261: Commit 495fd10 pushed by riaqn
February 22, 2024 10:30 4m 1s main
February 22, 2024 10:30 4m 1s
closing over argument crosses modes
coverage-linux #260: Commit 0638ed1 pushed by riaqn
February 21, 2024 12:19 6m 59s main
February 21, 2024 12:19 6m 59s
more test
coverage-linux #259: Commit 91f753c pushed by riaqn
February 21, 2024 12:17 8m 34s main
February 21, 2024 12:17 8m 34s
Merge close_over into partial_apply
coverage-linux #258: Pull request #4 opened by goldfirere
February 12, 2024 20:26 3m 20s goldfirere:rae/no-close-over
February 12, 2024 20:26 3m 20s
even better error message
coverage-linux #257: Commit a6fd16f pushed by riaqn
February 6, 2024 16:50 2m 44s main
February 6, 2024 16:50 2m 44s
improve exclave error message
coverage-linux #256: Commit 6bf6095 pushed by riaqn
February 6, 2024 15:51 2m 33s main
February 6, 2024 15:51 2m 33s
Abstract Value and Alloc into a functor
coverage-linux #255: Pull request #3 synchronize by goldfirere
January 31, 2024 21:39 2m 26s goldfirere:rae/areality
January 31, 2024 21:39 2m 26s
Abstract Value and Alloc into a functor
coverage-linux #254: Pull request #3 synchronize by goldfirere
January 31, 2024 21:31 3m 3s goldfirere:rae/areality
January 31, 2024 21:31 3m 3s
Abstract Value and Alloc into a functor
coverage-linux #253: Pull request #3 synchronize by goldfirere
January 31, 2024 21:28 3m 34s goldfirere:rae/areality
January 31, 2024 21:28 3m 34s
inline unusual helper functions
coverage-linux #252: Commit f440b2f pushed by riaqn
January 26, 2024 17:56 2m 53s new-solver-flambda-backend
January 26, 2024 17:56 2m 53s