Skip to content

Actions: SkySkimmer/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-conflicts.yml
2,165 workflow runs
2,165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge PR #18007: Constant_typing: add checks that declared hyps of bo… Check conflicts #4077: Commit f49d121 pushed by SkySkimmer
October 18, 2023 13:34 16s master
master
October 18, 2023 13:34 16s
Merge PR #18170: bench plotter: set max host connections (avoid spamm… Check conflicts #4076: Commit 338ffb3 pushed by SkySkimmer
October 18, 2023 13:34 27s master
master
October 18, 2023 13:34 27s
wip Check conflicts #4075: Commit da61d16 pushed by SkySkimmer
October 18, 2023 11:04 14s summary
summary
October 18, 2023 11:04 14s
Pass CUMUL to Clenv.unify in e_give_exact Check conflicts #4074: Commit f12e35a pushed by SkySkimmer
October 17, 2023 13:17 16s clenv-unify-cv-pb
clenv-unify-cv-pb
October 17, 2023 13:17 16s
Pass CUMUL to Clenv.unify in e_give_exact Check conflicts #4073: Commit ff0dc4f pushed by SkySkimmer
October 17, 2023 13:17 15s clenv-unify-cv-pb
clenv-unify-cv-pb
October 17, 2023 13:17 15s
bench 8.18 vs 8.17 Check conflicts #4072: Commit 6d73992 pushed by SkySkimmer
October 16, 2023 14:59 12s benchbench
benchbench
October 16, 2023 14:59 12s
bench 8.18 vs 8.17 Check conflicts #4071: Commit f0a4096 pushed by SkySkimmer
October 16, 2023 14:55 16s benchbench
benchbench
October 16, 2023 14:55 16s
bench 8.18 vs 8.17 Check conflicts #4070: Commit 399834f pushed by SkySkimmer
October 16, 2023 14:49 12s benchbench
benchbench
October 16, 2023 14:49 12s
bench 8.18 vs 8.17 Check conflicts #4069: Commit 4b750f6 pushed by SkySkimmer
October 16, 2023 14:40 10s benchbench
benchbench
October 16, 2023 14:40 10s
bench plotter: set max host connections (avoid spamming gitlab) Check conflicts #4068: Commit f4614f0 pushed by SkySkimmer
October 16, 2023 14:31 15s curlmulti-opt
curlmulti-opt
October 16, 2023 14:31 15s
bench 8.18 vs 8.17 Check conflicts #4067: Commit 9c5eaa4 pushed by SkySkimmer
October 16, 2023 14:02 13s benchbench
benchbench
October 16, 2023 14:02 13s
Print Ltac2 Type prints available constructors of open types Check conflicts #4066: Commit 253b31b pushed by SkySkimmer
October 16, 2023 13:13 15s ltac2printers
ltac2printers
October 16, 2023 13:13 15s
Nametab.located_extended_nowarn: don't return deprecation info Check conflicts #4065: Commit dff16ee pushed by SkySkimmer
October 16, 2023 11:47 16s fresh-depr
fresh-depr
October 16, 2023 11:47 16s
Nametab.located_extended_nowarn: don't return deprecation info Check conflicts #4064: Commit e8c4b0a pushed by SkySkimmer
October 16, 2023 11:47 14s fresh-depr
fresh-depr
October 16, 2023 11:47 14s
Ltac1 and Ltac2: don't normalize evars for open_constr:() Check conflicts #4063: Commit 2207de7 pushed by SkySkimmer
October 16, 2023 10:58 14s open-constr-no-expand
open-constr-no-expand
October 16, 2023 10:58 14s
Support quotations (genargs) in patterns Check conflicts #4062: Commit d1942ac pushed by SkySkimmer
October 16, 2023 10:54 15s pattern-quotations
pattern-quotations
October 16, 2023 10:54 15s
Remove unused nametab for qvars Check conflicts #4061: Commit 8bff024 pushed by SkySkimmer
October 16, 2023 10:54 11s sort-poly
sort-poly
October 16, 2023 10:54 11s
doc for Ltac2 Globalize/Check Check conflicts #4060: Commit c09b93f pushed by SkySkimmer
October 16, 2023 10:51 15s ltac2printers
ltac2printers
October 16, 2023 10:51 15s
Explain record mutation syntax in ltac2 doc Check conflicts #4059: Commit 8c9ccc5 pushed by SkySkimmer
October 16, 2023 10:50 15s ltac2-doc-ctacset
ltac2-doc-ctacset
October 16, 2023 10:50 15s
Merge PR #18095: Extensions to the Ltac2 standard library Check conflicts #4058: Commit 49fce3a pushed by SkySkimmer
October 16, 2023 10:13 15s master
master
October 16, 2023 10:13 15s
Ltac2: use preterm in exact / eexact Check conflicts #4057: Commit d132302 pushed by SkySkimmer
October 13, 2023 16:00 13s ltac2-exact-preterm
ltac2-exact-preterm
October 13, 2023 16:00 13s
Explain record mutation syntax in ltac2 doc Check conflicts #4056: Commit 4d6ade7 pushed by SkySkimmer
October 13, 2023 14:18 16s ltac2-doc-ctacset
ltac2-doc-ctacset
October 13, 2023 14:18 16s
Merge PR #18153: Tiny test fix Check conflicts #4055: Commit 4a92268 pushed by SkySkimmer
October 13, 2023 11:47 12s master
master
October 13, 2023 11:47 12s
Merge PR #18150: Fix CODEOWNERS for doc/stdlib. Check conflicts #4054: Commit 91ec407 pushed by SkySkimmer
October 12, 2023 10:53 16s master
master
October 12, 2023 10:53 16s
Don't reduce in Class_tactics.make_resolve_hyp Check conflicts #4053: Commit 8e9f6b6 pushed by SkySkimmer
October 11, 2023 15:05 17s speed-hott
speed-hott
October 11, 2023 15:05 17s
ProTip! You can narrow down the results and go further in time using created:<2023-10-11 or the other filters available.