Skip to content

Actions: ocaml-flambda/flambda-backend

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29,416 workflow runs
29,416 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

local implies yielding
build #15077: Pull request #3532 synchronize by dkalinichenko-js
January 31, 2025 20:23 23m 29s dkalinichenko/local-implies-yielding
January 31, 2025 20:23 23m 29s
local implies yielding
ocamlformat #16621: Pull request #3532 synchronize by dkalinichenko-js
January 31, 2025 20:23 2m 48s dkalinichenko/local-implies-yielding
January 31, 2025 20:23 2m 48s
format
jane_ocaml5 #2986: Commit 0a38111 pushed by dkalinichenko-js
January 31, 2025 20:23 33s dkalinichenko/local-implies-yielding
January 31, 2025 20:23 33s
local implies yielding
ocamlformat #16620: Pull request #3532 opened by dkalinichenko-js
January 31, 2025 20:16 2m 51s dkalinichenko/local-implies-yielding
January 31, 2025 20:16 2m 51s
Continue on other types after running out of fuel
jane_ocaml5 #2984: Commit 2229bad pushed by liam923
January 31, 2025 20:09 35s liam-jkind-subsumption
January 31, 2025 20:09 35s
yielding tests
jane_ocaml5 #2983: Commit bbdff6b pushed by dkalinichenko-js
January 31, 2025 20:07 32s dkalinichenko/local-implies-yielding
January 31, 2025 20:07 32s
Track quality of jkinds
jane_ocaml5 #2982: Pull request #3505 synchronize by glittershark
January 31, 2025 19:42 30s aspsmith/jkind-quality
January 31, 2025 19:42 30s
Track quality of jkinds
ocamlformat #16619: Pull request #3505 synchronize by glittershark
January 31, 2025 19:42 2m 47s aspsmith/jkind-quality
January 31, 2025 19:42 2m 47s
Track quality of jkinds
build #15075: Pull request #3505 synchronize by glittershark
January 31, 2025 19:42 23m 15s aspsmith/jkind-quality
January 31, 2025 19:42 23m 15s
format
jane_ocaml5 #2981: Commit 4f07283 pushed by glittershark
January 31, 2025 19:42 35s aspsmith/jkind-quality
January 31, 2025 19:42 35s
Track quality of jkinds
jane_ocaml5 #2980: Pull request #3505 synchronize by glittershark
January 31, 2025 19:33 36s aspsmith/jkind-quality
January 31, 2025 19:33 36s
Track quality of jkinds
build #15074: Pull request #3505 synchronize by glittershark
January 31, 2025 19:33 9m 51s aspsmith/jkind-quality
January 31, 2025 19:33 9m 51s
Track quality of jkinds
ocamlformat #16618: Pull request #3505 synchronize by glittershark
January 31, 2025 19:33 2m 51s aspsmith/jkind-quality
January 31, 2025 19:33 2m 51s
simplify best jkinds in predef for type1s
jane_ocaml5 #2979: Commit ce0aa85 pushed by glittershark
January 31, 2025 19:32 32s aspsmith/jkind-quality
January 31, 2025 19:32 32s
Track quality of jkinds
jane_ocaml5 #2978: Pull request #3505 synchronize by glittershark
January 31, 2025 19:29 32s aspsmith/jkind-quality
January 31, 2025 19:29 32s
Track quality of jkinds
build #15073: Pull request #3505 synchronize by glittershark
January 31, 2025 19:29 4m 8s aspsmith/jkind-quality
January 31, 2025 19:29 4m 8s
Track quality of jkinds
ocamlformat #16617: Pull request #3505 synchronize by glittershark
January 31, 2025 19:29 2m 55s aspsmith/jkind-quality
January 31, 2025 19:29 2m 55s
product jkinds should not be best
jane_ocaml5 #2977: Commit c55f834 pushed by glittershark
January 31, 2025 19:29 40s aspsmith/jkind-quality
January 31, 2025 19:29 40s
Track quality of jkinds
build #15072: Pull request #3505 synchronize by glittershark
January 31, 2025 19:20 8m 49s aspsmith/jkind-quality
January 31, 2025 19:20 8m 49s
Track quality of jkinds
ocamlformat #16616: Pull request #3505 synchronize by glittershark
January 31, 2025 19:20 2m 42s aspsmith/jkind-quality
January 31, 2025 19:20 2m 42s
Track quality of jkinds
jane_ocaml5 #2976: Pull request #3505 synchronize by glittershark
January 31, 2025 19:20 39s aspsmith/jkind-quality
January 31, 2025 19:20 39s
fmt
jane_ocaml5 #2975: Commit 4f7abd3 pushed by glittershark
January 31, 2025 19:20 32s aspsmith/jkind-quality
January 31, 2025 19:20 32s
Track quality of jkinds
build #15071: Pull request #3505 synchronize by glittershark
January 31, 2025 19:03 18m 3s aspsmith/jkind-quality
January 31, 2025 19:03 18m 3s