Skip to content

Actions: ocaml-flambda/flambda-backend

Actions

coverage-linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
8,755 workflow runs
8,755 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Map unique_barrier information to Reads_vary coverage-linux #12735: Pull request #3066 synchronize by anfelor
September 24, 2024 19:01 2m 55s anfelor:overwriting
anfelor:overwriting
September 24, 2024 19:01 2m 55s
Fix infinite loop in at_exit. coverage-linux #12734: Commit 1acd2a2 pushed by tdelvecchio-jsc
September 24, 2024 16:22 Failure tdelvecchio-portable-stdlib
tdelvecchio-portable-stdlib
September 24, 2024 16:22 Failure
Map unique_barrier information to Reads_vary coverage-linux #12733: Pull request #3066 synchronize by anfelor
September 24, 2024 14:58 2m 42s anfelor:overwriting
anfelor:overwriting
September 24, 2024 14:58 2m 42s
Fix infinite loop in at_exit. coverage-linux #12732: Commit bee7fc8 pushed by tdelvecchio-jsc
September 23, 2024 22:20 -1s tdelvecchio-portable-stdlib
tdelvecchio-portable-stdlib
September 23, 2024 22:20 -1s
Map unique_barrier information to Reads_vary coverage-linux #12731: Pull request #3066 synchronize by anfelor
September 23, 2024 20:46 3m 0s anfelor:overwriting
anfelor:overwriting
September 23, 2024 20:46 3m 0s
Map unique_barrier information to Reads_vary coverage-linux #12730: Pull request #3066 opened by anfelor
September 23, 2024 20:15 2m 37s anfelor:overwriting
anfelor:overwriting
September 23, 2024 20:15 2m 37s
Formatting coverage-linux #12729: Commit 2db28a1 pushed by goldfirere
September 23, 2024 19:17 Failure rae/l-r-kinds
rae/l-r-kinds
September 23, 2024 19:17 Failure
Finish porting upstream PR 12754 (#3061) coverage-linux #12728: Commit 5bc1a5f pushed by stedolan
September 23, 2024 13:38 Failure 5.2.0minus-0-microbranch
5.2.0minus-0-microbranch
September 23, 2024 13:38 Failure
And L and R kinds coverage-linux #12727: Commit 41244d1 pushed by goldfirere
September 23, 2024 13:36 Failure rae/l-r-kinds
rae/l-r-kinds
September 23, 2024 13:36 Failure
Bound the maximum GC work caused by custom blocks (#3032) coverage-linux #12726: Commit 81e4fcc pushed by stedolan
September 23, 2024 08:37 Failure merge-5.2-staging
merge-5.2-staging
September 23, 2024 08:37 Failure
slightly better structure to rule out now-impossible case coverage-linux #12725: Commit 4f4c231 pushed by ncik-roberts
September 22, 2024 23:59 Failure zero-alloc-across-aliases
zero-alloc-across-aliases
September 22, 2024 23:59 Failure
Hacks on hacks to make this work coverage-linux #12724: Commit 152a118 pushed by ncik-roberts
September 22, 2024 23:57 Failure zero-alloc-across-aliases
zero-alloc-across-aliases
September 22, 2024 23:57 Failure
Monads are hard (#3058) coverage-linux #12723: Commit e4666dd pushed by goldfirere
September 22, 2024 22:30 Failure main
main
September 22, 2024 22:30 Failure
Track zero-alloc across aliases coverage-linux #12722: Commit 8fa409e pushed by ncik-roberts
September 22, 2024 17:55 Failure zero-alloc-across-aliases
zero-alloc-across-aliases
September 22, 2024 17:55 Failure
Track zero-alloc across aliases (I think this slows down compilation … coverage-linux #12721: Commit 97cadf8 pushed by ncik-roberts
September 22, 2024 17:42 Failure zero-alloc-across-aliases
zero-alloc-across-aliases
September 22, 2024 17:42 Failure
Never run job coverage-linux #12720: Commit eb4a28a pushed by ncik-roberts
September 20, 2024 21:44 Failure quiet-disabled-coverage-job
quiet-disabled-coverage-job
September 20, 2024 21:44 Failure
Never run job coverage-linux #12719: Commit f0043ad pushed by ncik-roberts
September 20, 2024 21:40 Failure quiet-disabled-coverage-job
quiet-disabled-coverage-job
September 20, 2024 21:40 Failure
Quiet email alerts for coverage.yml CI job that doesn't run coverage-linux #12718: Pull request #3057 synchronize by ncik-roberts
September 20, 2024 21:39 11s quiet-disabled-coverage-job
quiet-disabled-coverage-job
September 20, 2024 21:39 11s
Disable coverage job via other means coverage-linux #12717: Commit 6514177 pushed by ncik-roberts
September 20, 2024 21:37 Failure quiet-disabled-coverage-job
quiet-disabled-coverage-job
September 20, 2024 21:37 Failure
Quiet email alerts for coverage.yml CI job that doesn't run coverage-linux #12716: Pull request #3057 synchronize by ncik-roberts
September 20, 2024 21:33 11s quiet-disabled-coverage-job
quiet-disabled-coverage-job
September 20, 2024 21:33 11s
Quiet email alerts for coverage.yml CI job that doesn't run coverage-linux #12715: Pull request #3057 synchronize by ncik-roberts
September 20, 2024 21:31 Startup failure quiet-disabled-coverage-job
quiet-disabled-coverage-job
September 20, 2024 21:31 Startup failure
Disable coverage job via other means coverage-linux #12714: Commit 6514177 pushed by ncik-roberts
September 20, 2024 21:27 Failure quiet-disabled-coverage-job
quiet-disabled-coverage-job
September 20, 2024 21:27 Failure
Refactor constrain_type_jkind (#3037) coverage-linux #12713: Commit 5d19796 pushed by goldfirere
September 20, 2024 21:01 Failure main
main
September 20, 2024 21:01 Failure
Fix conflicts; update tests. All boring. coverage-linux #12712: Commit 9a9223b pushed by goldfirere
September 20, 2024 20:34 Failure rae/simplify-constrain-type-jkind
rae/simplify-constrain-type-jkind
September 20, 2024 20:34 Failure
edit coverage-linux #12711: Commit e9ac989 pushed by rtjoa
September 20, 2024 20:07 Failure no-stack-switching-on-main
no-stack-switching-on-main
September 20, 2024 20:07 Failure