Skip to content

Actions: SkySkimmer/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-conflicts.yml
365 workflow run results
365 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make Cumulativity Weak Constraints work with Set (when minim to s… Check conflicts #4464: Commit 557bae0 pushed by SkySkimmer
January 9, 2024 13:51 16s weak-constraints-set
weak-constraints-set
January 9, 2024 13:51 16s
CI: Support overriding colors even when CI is set Check conflicts #4463: Commit 56c027e pushed by SkySkimmer
January 9, 2024 12:27 10s ci-wrap-allow-nocolor
ci-wrap-allow-nocolor
January 9, 2024 12:27 10s
CI: Support overriding colors even when CI is set Check conflicts #4462: Commit 560fb62 pushed by SkySkimmer
January 9, 2024 12:27 9s ci-wrap-allow-nocolor
ci-wrap-allow-nocolor
January 9, 2024 12:27 9s
Merge PR #18469: Delay the lookup of csdp until the tool is actually … Check conflicts #4461: Commit 1d4d5c8 pushed by SkySkimmer
January 9, 2024 12:09 14s master
master
January 9, 2024 12:09 14s
Update dev/bench/bench.sh Check conflicts #4460: Commit 5e5d45e pushed by SkySkimmer
January 8, 2024 22:07 17s bench-818-819
bench-818-819
January 8, 2024 22:07 17s
Merge PR #18214: [zify] use the current injection to guide the transf… Check conflicts #4459: Commit 8486efa pushed by SkySkimmer
January 8, 2024 17:27 10s master
master
January 8, 2024 17:27 10s
Put parts of ltac2_plugin which depend on ltac1 in a separate plugin Check conflicts #4458: Commit fbb04f9 pushed by SkySkimmer
January 8, 2024 14:20 10s ltac2-ltac1
ltac2-ltac1
January 8, 2024 14:20 10s
changelog for more Ltac2 syntactic values Check conflicts #4457: Commit 996d4df pushed by SkySkimmer
January 8, 2024 14:13 16s ltac2-more-values
ltac2-more-values
January 8, 2024 14:13 16s
bench NEW=8.19 vs OLD=8.18 Check conflicts #4456: Commit 3c90edc pushed by SkySkimmer
January 8, 2024 14:10 12s bench-818-819
bench-818-819
January 8, 2024 14:10 12s
Support explicit package versions in bench Check conflicts #4455: Commit 8e55206 pushed by SkySkimmer
January 8, 2024 13:20 10s bench-explicit-ver
bench-explicit-ver
January 8, 2024 13:20 10s
WIP release summary for 8.19 Check conflicts #4454: Commit 20ba1de pushed by SkySkimmer
January 8, 2024 12:39 12s 819-changes
819-changes
January 8, 2024 12:39 12s
Backport PR #18426: Fix printing of Remove Hints Check conflicts #4453: Commit a996194 pushed by SkySkimmer
January 8, 2024 11:57 10s v8.19
v8.19
January 8, 2024 11:57 10s
bench test Check conflicts #4452: Commit fa2e87a pushed by SkySkimmer
January 8, 2024 11:53 10s bench-explicit-ver
bench-explicit-ver
January 8, 2024 11:53 10s
Add debug printer for goal_with_state Check conflicts #4451: Commit fedb8fc pushed by SkySkimmer
January 8, 2024 11:44 12s print-goal-w-state
print-goal-w-state
January 8, 2024 11:44 12s
bench test Check conflicts #4450: Commit bbe7a99 pushed by SkySkimmer
January 8, 2024 10:56 13s bench-explicit-ver
bench-explicit-ver
January 8, 2024 10:56 13s
update cachekeys Check conflicts #4449: Commit 56b2718 pushed by SkySkimmer
January 8, 2024 10:43 9s smaller-docker
smaller-docker
January 8, 2024 10:43 9s
update cachekeys Check conflicts #4448: Commit 86cb9f2 pushed by SkySkimmer
January 8, 2024 10:42 12s smaller-docker
smaller-docker
January 8, 2024 10:42 12s
Merge PR #18094: rewrite strategies: expose fixpoint operator (take 2) Check conflicts #4447: Commit 7a50f87 pushed by SkySkimmer
January 8, 2024 10:40 15s master
master
January 8, 2024 10:40 15s
Make Cumulativity Weak Constraints work with Set (when minim to s… Check conflicts #4446: Commit e836b6c pushed by SkySkimmer
January 1, 2024 11:24 11s weak-constraints-set
weak-constraints-set
January 1, 2024 11:24 11s
empty commit Check conflicts #4445: Commit e8a71ac pushed by SkySkimmer
December 22, 2023 15:40 15s 819-backports
819-backports
December 22, 2023 15:40 15s
update cachekeys Check conflicts #4444: Commit 071942b pushed by SkySkimmer
December 22, 2023 15:08 13s smaller-docker
smaller-docker
December 22, 2023 15:08 13s
Reduce docker size: better opam cleaning Check conflicts #4443: Commit c061693 pushed by SkySkimmer
December 22, 2023 15:06 15s smaller-docker
smaller-docker
December 22, 2023 15:06 15s
Merge PR #18213: Support TIMED=1 in test suite + some preliminary cle… Check conflicts #4442: Commit a4839f6 pushed by SkySkimmer
December 22, 2023 13:27 11s master
master
December 22, 2023 13:27 11s
More ltac2 typed notations testing, remove now useless extra type ann… Check conflicts #4441: Commit 5ceb80b pushed by SkySkimmer
December 21, 2023 17:24 13s ltac2-typed-notation
ltac2-typed-notation
December 21, 2023 17:24 13s
More ltac2 typed notations testing, remove now useless extra type ann… Check conflicts #4440: Commit 5ba11b7 pushed by SkySkimmer
December 21, 2023 14:43 12s ltac2-typed-notation
ltac2-typed-notation
December 21, 2023 14:43 12s