Skip to content

Actions: silene/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-conflicts.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make sure coqdep does not misinterpret "Importfoo" (fix #20984). Check conflicts #193: Commit 9700b1a pushed by silene
August 12, 2025 09:19 9s fix-20984
fix-20984
August 12, 2025 09:19 9s
Make sure coqdep does not misinterpret "Importfoo" (fix #20984). Check conflicts #192: Commit 646455d pushed by silene
August 10, 2025 07:52 9s fix-20984
fix-20984
August 10, 2025 07:52 9s
Require a more recent version of Yojson. Check conflicts #191: Commit f43d29d pushed by silene
August 4, 2025 15:09 10s yojson-dep
yojson-dep
August 4, 2025 15:09 10s
Require a more recent version of Yojson. Check conflicts #190: Commit 0bd55d0 pushed by silene
July 30, 2025 12:55 10s yojson-dep
yojson-dep
July 30, 2025 12:55 10s
Reword a bit the documentation about library installation (fix #20963). Check conflicts #189: Commit 18c2b29 pushed by silene
July 28, 2025 09:07 10s fix-20963
fix-20963
July 28, 2025 09:07 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. Check conflicts #187: Commit 56d982d pushed by silene
April 9, 2025 13:18 12s native5-tag0
native5-tag0
April 9, 2025 13:18 12s
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
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 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. 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. 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. Check conflicts #179: Commit 0ced955 pushed by silene
March 26, 2025 07:24 7s native5
native5
March 26, 2025 07:24 7s
Port native_compute to OCaml 5. Check conflicts #178: Commit 943f7d5 pushed by silene
March 25, 2025 17:00 12s native5
native5
March 25, 2025 17:00 12s
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