Skip to content

Actions: silene/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-conflicts.yml
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. Check conflicts #177: Commit 81bab57 pushed by silene
November 26, 2024 09:43 14s fix-19512
fix-19512
November 26, 2024 09:43 14s
Fix unicode classification of non-spacing marks. Check conflicts #176: Commit b1ba7e7 pushed by silene
October 15, 2024 09:16 12s fix-19512
fix-19512
October 15, 2024 09:16 12s
Add bug description. Check conflicts #175: Commit b2803e0 pushed by silene
July 22, 2024 09:06 13s addmuldiv
addmuldiv
July 22, 2024 09:06 13s
Add bug description. Check conflicts #174: Commit 52f7770 pushed by silene
July 20, 2024 18:20 12s addmuldiv
addmuldiv
July 20, 2024 18:20 12s
Compress the compiled bytecode. Check conflicts #173: Commit d8a0e42 pushed by ppedrot
May 28, 2024 06:36 12s compressed-bytecode
compressed-bytecode
May 28, 2024 06:36 12s
Add a PUSHACCMANY opcode. Check conflicts #172: Commit febfef7 pushed by silene
May 21, 2024 17:08 14s pushaccmany
pushaccmany
May 21, 2024 17:08 14s
Add a PUSHENVACCMANY opcode. Check conflicts #171: Commit 6f601a7 pushed by silene
May 21, 2024 17:07 44s pushenvaccmany
pushenvaccmany
May 21, 2024 17:07 44s
Add a PUSHENVACCMANY opcode. Check conflicts #170: Commit 61ee389 pushed by silene
May 3, 2024 12:56 10s pushenvaccmany
pushenvaccmany
May 3, 2024 12:56 10s
Add a PUSHACCMANY opcode. Check conflicts #169: Commit 4e813b5 pushed by silene
May 3, 2024 04:40 10s pushaccmany
pushaccmany
May 3, 2024 04:40 10s
Add a PUSHENVACCMANY opcode. Check conflicts #168: Commit 59940d9 pushed by silene
April 23, 2024 16:58 12s pushenvaccmany
pushenvaccmany
April 23, 2024 16:58 12s
Add a PUSHACCMANY opcode. Check conflicts #167: Commit f47de67 pushed by silene
April 23, 2024 11:53 33s pushaccmany
pushaccmany
April 23, 2024 11:53 33s
Add a PUSHENVACCMANY opcode. Check conflicts #166: Commit e7459d3 pushed by silene
April 22, 2024 13:32 18s pushenvaccmany
pushenvaccmany
April 22, 2024 13:32 18s
Compress the compiled bytecode. Check conflicts #165: Commit 3d66700 pushed by silene
April 20, 2024 07:53 12s compressed-bytecode
compressed-bytecode
April 20, 2024 07:53 12s
Compress the compiled bytecode. Check conflicts #164: Commit 30d1ed4 pushed by silene
April 19, 2024 16:38 12s compressed-bytecode
compressed-bytecode
April 19, 2024 16:38 12s
Allow open terms in "apply ->" and "apply <-" (fix #18177). Check conflicts #163: Commit 6dd27ac pushed by silene
April 17, 2024 16:17 12s fix-18177
fix-18177
April 17, 2024 16:17 12s
Fix testsuite. Check conflicts #162: Commit c8a7cab pushed by silene
April 11, 2024 16:22 12s VMaccu3
VMaccu3
April 11, 2024 16:22 12s
Make MAKESWITCHBLOCK more robust against large stack frames. Check conflicts #161: Commit 8e43e6f pushed by silene
April 11, 2024 07:57 15s larger-vm-allocations
larger-vm-allocations
April 11, 2024 07:57 15s
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. Check conflicts #159: Commit b13ae7f pushed by silene
April 9, 2024 12:38 11s VMaccu2
VMaccu2
April 9, 2024 12:38 11s
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. Check conflicts #157: Commit e2447b7 pushed by silene
April 9, 2024 09:23 14s VMaccu2
VMaccu2
April 9, 2024 09:23 14s
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… 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. Check conflicts #154: Commit 8eb6ef7 pushed by silene
January 8, 2024 10:03 15s lazy-csdp
lazy-csdp
January 8, 2024 10:03 15s