Skip to content

Actions: silene/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Port native_compute to OCaml 5. Windows CI #48: Commit 21acf13 pushed by silene
April 10, 2025 11:27 44m 10s native5-tag0
native5-tag0
April 10, 2025 11:27 44m 10s
Port native_compute to OCaml 5. Check conflicts #188: Commit 21acf13 pushed by silene
April 10, 2025 11:27 9s native5-tag0
native5-tag0
April 10, 2025 11:27 9s
Port native_compute to OCaml 5. GitHub macOS CI #68: Commit 21acf13 pushed by silene
April 10, 2025 11:27 9m 55s native5-tag0
native5-tag0
April 10, 2025 11:27 9m 55s
Port native_compute to OCaml 5. Check conflicts #187: Commit 56d982d pushed by silene
April 9, 2025 13:18 12s native5-tag0
native5-tag0
April 9, 2025 13:18 12s
Port native_compute to OCaml 5. GitHub macOS CI #67: Commit 56d982d pushed by silene
April 9, 2025 13:18 12m 4s native5-tag0
native5-tag0
April 9, 2025 13:18 12m 4s
Port native_compute to OCaml 5. Windows CI #47: Commit 56d982d pushed by silene
April 9, 2025 13:18 44m 44s native5-tag0
native5-tag0
April 9, 2025 13:18 44m 44s
Use a faster Obj.tag. GitHub macOS CI #66: Commit f1ce662 pushed by SkySkimmer
March 27, 2025 16:52 29m 49s native5
native5
March 27, 2025 16:52 29m 49s
Use a faster Obj.tag. Check conflicts #186: Commit f1ce662 pushed by SkySkimmer
March 27, 2025 16:52 9s native5
native5
March 27, 2025 16:52 9s
For testing: force native on, bench native on in OLD Check conflicts #185: Commit 1830a77 pushed by SkySkimmer
March 27, 2025 16:35 8s native5
native5
March 27, 2025 16:35 8s
For testing: force native on, bench native on in OLD GitHub macOS CI #65: Commit 1830a77 pushed by SkySkimmer
March 27, 2025 16:35 32m 21s native5
native5
March 27, 2025 16:35 32m 21s
Use a faster Obj.tag. GitHub macOS CI #64: Commit f1ce662 pushed by SkySkimmer
March 27, 2025 16:33 24m 56s native5
native5
March 27, 2025 16:33 24m 56s
Use a faster Obj.tag. Check conflicts #184: Commit f1ce662 pushed by SkySkimmer
March 27, 2025 16:33 8s native5
native5
March 27, 2025 16:33 8s
For testing: force native on GitHub macOS CI #63: Commit c0758fd pushed by SkySkimmer
March 27, 2025 16:32 36m 20s native5
native5
March 27, 2025 16:32 36m 20s
For testing: force native on Check conflicts #183: Commit c0758fd pushed by SkySkimmer
March 27, 2025 16:32 9s native5
native5
March 27, 2025 16:32 9s
Use a faster Obj.tag. Check conflicts #182: Commit f1ce662 pushed by SkySkimmer
March 27, 2025 16:25 9s native5
native5
March 27, 2025 16:25 9s
Use a faster Obj.tag. GitHub macOS CI #62: Commit f1ce662 pushed by SkySkimmer
March 27, 2025 16:25 21m 30s native5
native5
March 27, 2025 16:25 21m 30s
Use a faster Obj.tag. Windows CI #46: Commit 8a5e728 pushed by silene
March 26, 2025 13:09 39m 4s native5
native5
March 26, 2025 13:09 39m 4s
Use a faster Obj.tag. GitHub macOS CI #61: Commit 8a5e728 pushed by silene
March 26, 2025 13:09 39m 32s native5
native5
March 26, 2025 13:09 39m 32s
Use a faster Obj.tag. Check conflicts #181: Commit 8a5e728 pushed by silene
March 26, 2025 13:09 11s native5
native5
March 26, 2025 13:09 11s
Use a faster Obj.tag. GitHub macOS CI #60: Commit 41d20b5 pushed by silene
March 26, 2025 07:50 28m 42s native5
native5
March 26, 2025 07:50 28m 42s
Use a faster Obj.tag. Check conflicts #180: Commit 41d20b5 pushed by silene
March 26, 2025 07:50 7s native5
native5
March 26, 2025 07:50 7s
Use a faster Obj.tag. Windows CI #45: Commit 41d20b5 pushed by silene
March 26, 2025 07:50 50m 48s native5
native5
March 26, 2025 07:50 50m 48s
Use a faster Obj.tag. Windows CI #44: Commit 0ced955 pushed by silene
March 26, 2025 07:24 2m 6s native5
native5
March 26, 2025 07:24 2m 6s
Use a faster Obj.tag. Check conflicts #179: Commit 0ced955 pushed by silene
March 26, 2025 07:24 7s native5
native5
March 26, 2025 07:24 7s
Use a faster Obj.tag. GitHub macOS CI #59: Commit 0ced955 pushed by silene
March 26, 2025 07:24 31m 2s native5
native5
March 26, 2025 07:24 31m 2s