Skip to content

Actions: silene/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make MAKESWITCHBLOCK more robust against large stack frames. GitHub macOS CI #41: Commit 8e43e6f pushed by silene
April 11, 2024 07:57 45m 58s larger-vm-allocations
larger-vm-allocations
April 11, 2024 07:57 45m 58s
Fix testsuite. Windows CI #25: Commit cc5e20f pushed by silene
April 10, 2024 07:04 53m 51s VMaccu2
VMaccu2
April 10, 2024 07:04 53m 51s
Fix testsuite. GitHub macOS CI #40: Commit cc5e20f pushed by silene
April 10, 2024 07:04 48m 18s VMaccu2
VMaccu2
April 10, 2024 07:04 48m 18s
Fix testsuite. Check conflicts #160: Commit cc5e20f pushed by silene
April 10, 2024 07:04 11s VMaccu2
VMaccu2
April 10, 2024 07:04 11s
Fix testsuite. Windows CI #24: Commit b13ae7f pushed by silene
April 9, 2024 12:38 1h 13m 59s VMaccu2
VMaccu2
April 9, 2024 12:38 1h 13m 59s
Fix testsuite. Check conflicts #159: Commit b13ae7f pushed by silene
April 9, 2024 12:38 11s VMaccu2
VMaccu2
April 9, 2024 12:38 11s
Fix testsuite. GitHub macOS CI #39: Commit b13ae7f pushed by silene
April 9, 2024 12:38 46m 34s VMaccu2
VMaccu2
April 9, 2024 12:38 46m 34s
Map opaque definitions to bytecode holes. GitHub macOS CI #38: Commit ce0855b pushed by silene
April 9, 2024 11:38 45m 47s VMaccu2
VMaccu2
April 9, 2024 11:38 45m 47s
Map opaque definitions to bytecode holes. Windows CI #23: Commit ce0855b pushed by silene
April 9, 2024 11:38 55m 10s VMaccu2
VMaccu2
April 9, 2024 11:38 55m 10s
Map opaque definitions to bytecode holes. Check conflicts #158: Commit ce0855b pushed by silene
April 9, 2024 11:38 13s VMaccu2
VMaccu2
April 9, 2024 11:38 13s
Map opaque definitions to bytecode holes. Windows CI #22: Commit e2447b7 pushed by silene
April 9, 2024 09:23 48m 30s VMaccu2
VMaccu2
April 9, 2024 09:23 48m 30s
Map opaque definitions to bytecode holes. Check conflicts #157: Commit e2447b7 pushed by silene
April 9, 2024 09:23 14s VMaccu2
VMaccu2
April 9, 2024 09:23 14s
Map opaque definitions to bytecode holes. GitHub macOS CI #37: Commit e2447b7 pushed by silene
April 9, 2024 09:23 29m 33s VMaccu2
VMaccu2
April 9, 2024 09:23 29m 33s
Mark arrays, products, and plain constants, as potentially needing a … GitHub macOS CI #36: Commit 6fe5e52 pushed by silene
April 2, 2024 13:03 37m 47s fix-native-compute
fix-native-compute
April 2, 2024 13:03 37m 47s
Mark arrays, products, and plain constants, as potentially needing a … Windows CI #21: Commit 6fe5e52 pushed by silene
April 2, 2024 13:03 54m 9s fix-native-compute
fix-native-compute
April 2, 2024 13:03 54m 9s
Mark arrays, products, and plain constants, as potentially needing a … Check conflicts #156: Commit 6fe5e52 pushed by silene
April 2, 2024 13:03 15s fix-native-compute
fix-native-compute
April 2, 2024 13:03 15s
Stash the bytecode interpreter's internal structures when OCaml's run… GitHub macOS CI #35: Commit c43a2f0 pushed by silene
January 31, 2024 17:12 51m 9s signals-might-collect
signals-might-collect
January 31, 2024 17:12 51m 9s
Stash the bytecode interpreter's internal structures when OCaml's run… Windows CI #20: Commit c43a2f0 pushed by silene
January 31, 2024 17:12 48m 0s signals-might-collect
signals-might-collect
January 31, 2024 17:12 48m 0s
Stash the bytecode interpreter's internal structures when OCaml's run… Check conflicts #155: Commit c43a2f0 pushed by silene
January 31, 2024 17:12 13s signals-might-collect
signals-might-collect
January 31, 2024 17:12 13s
Delay the lookup of csdp until the tool is actually needed. GitHub macOS CI #34: Commit 8eb6ef7 pushed by silene
January 8, 2024 10:03 1h 14m 8s lazy-csdp
lazy-csdp
January 8, 2024 10:03 1h 14m 8s
Delay the lookup of csdp until the tool is actually needed. Windows CI #19: Commit 8eb6ef7 pushed by silene
January 8, 2024 10:03 58m 20s lazy-csdp
lazy-csdp
January 8, 2024 10:03 58m 20s
Delay the lookup of csdp until the tool is actually needed. Check conflicts #154: Commit 8eb6ef7 pushed by silene
January 8, 2024 10:03 15s lazy-csdp
lazy-csdp
January 8, 2024 10:03 15s