Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: ppedrot/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
969 workflow runs
969 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use maps based on user names in Funind internal state. Github CI #138: Commit f082e3e pushed by ppedrot
41m 20s rm-canord-fundind-indmap
rm-canord-fundind-indmap
41m 20s
Use maps based on user names in Funind internal state. Check conflicts #2396: Commit f082e3e pushed by ppedrot
7s rm-canord-fundind-indmap
rm-canord-fundind-indmap
7s
More precise type for glob file CLI option. Check conflicts #2395: Commit 06e576e pushed by ppedrot
6s clean-dumpglob-inner-state
clean-dumpglob-inner-state
6s
More precise type for glob file CLI option. Github CI #137: Commit 06e576e pushed by ppedrot
32m 54s clean-dumpglob-inner-state
clean-dumpglob-inner-state
32m 54s
Add overlays. Check conflicts #2394: Commit 5cba31f pushed by ppedrot
7s rm-canord-structures-indmap
rm-canord-structures-indmap
7s
Add overlays. Github CI #136: Commit 5cba31f pushed by ppedrot
34m 49s rm-canord-structures-indmap
rm-canord-structures-indmap
34m 49s
Merge the Dumpglob API to start dumping and to push a glob output. Check conflicts #2393: Commit 7eec479 pushed by ppedrot
8s clean-dumpglob-inner-state
clean-dumpglob-inner-state
8s
Merge the Dumpglob API to start dumping and to push a glob output. Github CI #135: Commit 7eec479 pushed by ppedrot
44m 15s clean-dumpglob-inner-state
clean-dumpglob-inner-state
44m 15s
Do not rely on canonical names in side-effect internal implementation. Github CI #134: Commit 94452ce pushed by ppedrot
40m 18s rm-canord-seff
rm-canord-seff
40m 18s
Do not rely on canonical names in side-effect internal implementation. Check conflicts #2392: Commit 94452ce pushed by ppedrot
10s rm-canord-seff
rm-canord-seff
10s
Stop relying on canonical names in Structures API. Check conflicts #2391: Commit 0c03606 pushed by ppedrot
8s rm-canord-structures-indmap
rm-canord-structures-indmap
8s
Stop relying on canonical names in Structures API. Github CI #133: Commit 0c03606 pushed by ppedrot
43m 46s rm-canord-structures-indmap
rm-canord-structures-indmap
43m 46s
Stop relying on canonical names in Evarsolve constructor inversion he… Github CI #132: Commit ef98b9b pushed by ppedrot
43m 25s rm-canord-evarsolve-constructor-map
rm-canord-evarsolve-constructor-map
43m 25s
Stop relying on canonical names in Evarsolve constructor inversion he… Check conflicts #2390: Commit ef98b9b pushed by ppedrot
7s rm-canord-evarsolve-constructor-map
rm-canord-evarsolve-constructor-map
7s
Try βδι-reducing the type shape in w_unify_to_subterm. Check conflicts #2389: Commit 3b8972d pushed by ppedrot
8s w-unify-all-reduce-shape
w-unify-all-reduce-shape
8s
Try βδι-reducing the type shape in w_unify_to_subterm. Github CI #131: Commit 3b8972d pushed by ppedrot
43m 15s w-unify-all-reduce-shape
w-unify-all-reduce-shape
43m 15s
Add changelog. Github CI #130: Commit deaf7ea pushed by ppedrot
33m 54s intuition-stop-using-auto-with-star
intuition-stop-using-auto-with-star
33m 54s
Add changelog. Check conflicts #2388: Commit deaf7ea pushed by ppedrot
8s intuition-stop-using-auto-with-star
intuition-stop-using-auto-with-star
8s
Stop using auto with * in intuition solver. Check conflicts #2387: Commit b2648c0 pushed by ppedrot
6s intuition-stop-using-auto-with-star
intuition-stop-using-auto-with-star
6s
Stop using auto with * in intuition solver. Github CI #129: Commit b2648c0 pushed by ppedrot
45m 19s intuition-stop-using-auto-with-star
intuition-stop-using-auto-with-star
45m 19s
Add changelog. Check conflicts #2386: Commit 7bbbf0a pushed by ppedrot
8s rm-destauto
rm-destauto
8s
Add changelog. Github CI #128: Commit 7bbbf0a pushed by ppedrot
35m 25s rm-destauto
rm-destauto
35m 25s
Add changelog. Github CI #127: Commit 83ead1b pushed by ppedrot
33m 12s rm-destauto
rm-destauto
33m 12s
Add changelog. Check conflicts #2385: Commit 83ead1b pushed by ppedrot
12s rm-destauto
rm-destauto
12s
Remove the destauto tactic, deprecated since 8.20. Github CI #126: Commit b5750a1 pushed by ppedrot
41m 43s rm-destauto
rm-destauto
41m 43s