Skip to content

Actions: silene/coq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix unicode classification of non-spacing marks. Windows CI #42: Commit 81bab57 pushed by silene
November 26, 2024 09:43 1h 13m 7s fix-19512
fix-19512
November 26, 2024 09:43 1h 13m 7s
Fix unicode classification of non-spacing marks. Windows CI #41: Commit b1ba7e7 pushed by silene
October 15, 2024 09:16 52m 19s fix-19512
fix-19512
October 15, 2024 09:16 52m 19s
Add bug description. Windows CI #40: Commit b2803e0 pushed by silene
July 22, 2024 09:06 51m 4s addmuldiv
addmuldiv
July 22, 2024 09:06 51m 4s
Add bug description. Windows CI #39: Commit 52f7770 pushed by silene
July 20, 2024 18:20 48m 55s addmuldiv
addmuldiv
July 20, 2024 18:20 48m 55s
Compress the compiled bytecode. Windows CI #38: Commit d8a0e42 pushed by ppedrot
May 28, 2024 06:36 59m 50s compressed-bytecode
compressed-bytecode
May 28, 2024 06:36 59m 50s
Add a PUSHACCMANY opcode. Windows CI #37: Commit febfef7 pushed by silene
May 21, 2024 17:08 1h 4m 22s pushaccmany
pushaccmany
May 21, 2024 17:08 1h 4m 22s
Add a PUSHENVACCMANY opcode. Windows CI #36: Commit 6f601a7 pushed by silene
May 21, 2024 17:07 49m 18s pushenvaccmany
pushenvaccmany
May 21, 2024 17:07 49m 18s
Add a PUSHENVACCMANY opcode. Windows CI #35: Commit 61ee389 pushed by silene
May 3, 2024 12:56 53m 33s pushenvaccmany
pushenvaccmany
May 3, 2024 12:56 53m 33s
Add a PUSHACCMANY opcode. Windows CI #34: Commit 4e813b5 pushed by silene
May 3, 2024 04:40 59m 58s pushaccmany
pushaccmany
May 3, 2024 04:40 59m 58s
Add a PUSHENVACCMANY opcode. Windows CI #33: Commit 59940d9 pushed by silene
April 23, 2024 16:58 1h 4m 55s pushenvaccmany
pushenvaccmany
April 23, 2024 16:58 1h 4m 55s
Add a PUSHACCMANY opcode. Windows CI #32: Commit f47de67 pushed by silene
April 23, 2024 11:53 37m 21s pushaccmany
pushaccmany
April 23, 2024 11:53 37m 21s
Add a PUSHENVACCMANY opcode. Windows CI #31: Commit e7459d3 pushed by silene
April 22, 2024 13:32 53s pushenvaccmany
pushenvaccmany
April 22, 2024 13:32 53s
Compress the compiled bytecode. Windows CI #30: Commit 3d66700 pushed by silene
April 20, 2024 07:53 54m 8s compressed-bytecode
compressed-bytecode
April 20, 2024 07:53 54m 8s
Compress the compiled bytecode. Windows CI #29: Commit 30d1ed4 pushed by silene
April 19, 2024 16:38 48m 36s compressed-bytecode
compressed-bytecode
April 19, 2024 16:38 48m 36s
Allow open terms in "apply ->" and "apply <-" (fix #18177). Windows CI #28: Commit 6dd27ac pushed by silene
April 17, 2024 16:17 47m 34s fix-18177
fix-18177
April 17, 2024 16:17 47m 34s
Fix testsuite. Windows CI #27: Commit c8a7cab pushed by silene
April 11, 2024 16:22 55m 1s VMaccu3
VMaccu3
April 11, 2024 16:22 55m 1s
Make MAKESWITCHBLOCK more robust against large stack frames. Windows CI #26: Commit 8e43e6f pushed by silene
April 11, 2024 07:57 52m 39s larger-vm-allocations
larger-vm-allocations
April 11, 2024 07:57 52m 39s
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. 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
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. Windows CI #22: Commit e2447b7 pushed by silene
April 9, 2024 09:23 48m 30s VMaccu2
VMaccu2
April 9, 2024 09:23 48m 30s
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
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
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