Skip to content

Actions: Tragicus/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

reduction loop in HO unification heuristic + stop refolding beta-rede… Check conflicts #203: Commit 7b62527 pushed by Tragicus
8s cstc
cstc
8s
custom eliminator for reflect Check conflicts #202: Commit d64301b pushed by Tragicus
9s decprop
decprop
9s
backports from mathcomp Check conflicts #201: Commit 4de6881 pushed by Tragicus
10s decprop
decprop
10s
try applying view before using adaptors Check conflicts #200: Commit 8d704be pushed by Tragicus
9s decprop
decprop
9s
try applying view before using adaptors Check conflicts #199: Commit a32f58e pushed by Tragicus
8s decprop
decprop
8s
decProp Check conflicts #198: Commit 76adb92 pushed by Tragicus
8s decprop
decprop
8s
decProp Check conflicts #197: Commit 478af22 pushed by Tragicus
8s decprop
decprop
8s
fix unification flags Check conflicts #196: Commit 33e36bf pushed by Tragicus
7s evd-inst
evd-inst
7s
iris overlay Check conflicts #195: Commit cae4c0d pushed by Tragicus
8s evd-inst
evd-inst
8s
iris overlay Check conflicts #194: Commit d412f7a pushed by Tragicus
14s evd-inst
evd-inst
14s
fix unification and flags Check conflicts #193: Commit 73912ba pushed by Tragicus
13s evd-inst
evd-inst
13s
fix unification and flags Check conflicts #192: Commit 22388c5 pushed by Tragicus
15s evd-inst
evd-inst
15s
stop spurious shelving Check conflicts #191: Commit 15a4be6 pushed by Tragicus
7s evd-inst
evd-inst
7s
changelog Check conflicts #190: Commit 4019ef0 pushed by Tragicus
15s evd-inst
evd-inst
15s
changelog Check conflicts #189: Commit 5141d82 pushed by Tragicus
12s evd-inst
evd-inst
12s
decProp Check conflicts #188: Commit 3bb5081 pushed by Tragicus
7s decprop
decprop
7s
decProp Check conflicts #187: Commit b84518a pushed by Tragicus
8s decprop
decprop
8s
stop postponing when one side is maybeflex and stack consuming when t… Check conflicts #186: Commit ea4b95b pushed by Tragicus
8s cstc
cstc
8s
stop postponing when one side is maybeflex and stack consuming when t… Check conflicts #185: Commit d527b8f pushed by Tragicus
8s cstc
cstc
8s
stop postponing when one side is maybeflex and stack consuming when t… Check conflicts #184: Commit a143ec9 pushed by Tragicus
7s cstc
cstc
7s
rm iris overlay Check conflicts #183: Commit c5eaafb pushed by Tragicus
8m 41s evd-inst
evd-inst
8m 41s
overlays Check conflicts #182: Commit 9faf9e6 pushed by Tragicus
13s evd-inst
evd-inst
13s
elpi_test overlay Check conflicts #181: Commit fd18a09 pushed by Tragicus
7s evd-inst
evd-inst
7s
debug pretyping Check conflicts #180: Commit e90b0b6 pushed by Tragicus
7s cstc
cstc
7s
debug econstr Check conflicts #179: Commit 9dee339 pushed by Tragicus
7s cstc
cstc
7s