Skip to content

Actions: Tragicus/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
315 workflow runs
315 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

overlay Check conflicts #132: Commit f3688c0 pushed by Tragicus
7s reduce-projs
reduce-projs
7s
overlay Github CI #8: Commit 47e2416 pushed by Tragicus
1m 15s reduce-projs
reduce-projs
1m 15s
overlay Check conflicts #131: Commit 47e2416 pushed by Tragicus
8s reduce-projs
reduce-projs
8s
reduce projs Check conflicts #130: Commit c084cf7 pushed by Tragicus
7s reduce-projs
reduce-projs
7s
reduce projs Github CI #7: Commit c084cf7 pushed by Tragicus
30m 1s reduce-projs
reduce-projs
30m 1s
refold before evar instantiation Github CI #6: Commit 77f55d5 pushed by Tragicus
29m 17s fold-evd
fold-evd
29m 17s
refold before evar instantiation Check conflicts #129: Commit 77f55d5 pushed by Tragicus
7s fold-evd
fold-evd
7s
do not refold when evar is under a non-applicative stack node Github CI #5: Commit fd11c2f pushed by Tragicus
30m 42s fold-evd
fold-evd
30m 42s
do not refold when evar is under a non-applicative stack node Check conflicts #128: Commit fd11c2f pushed by Tragicus
9s fold-evd
fold-evd
9s
update test-suite Check conflicts #127: Commit adb436a pushed by Tragicus
12s master
master
12s
update test-suite Github CI #4: Commit adb436a pushed by Tragicus
37m 37s master
master
37m 37s
reduce projs Check conflicts #126: Commit 20ee1b2 pushed by Tragicus
28s reduce-projs
reduce-projs
28s
reduce projs Github CI #3: Commit 20ee1b2 pushed by Tragicus
38m 28s reduce-projs
reduce-projs
38m 28s
refold before evar instantiation Github CI #2: Commit 0adbb91 pushed by Tragicus
41m 4s fold-evd
fold-evd
41m 4s
refold before evar instantiation Check conflicts #125: Commit 0adbb91 pushed by Tragicus
10s fold-evd
fold-evd
10s
mk pred_of_argType a coercion from Sortclass Github CI #1: Commit 5bb7c1b pushed by Tragicus
45m 22s cstc
cstc
45m 22s
mk pred_of_argType a coercion from Sortclass Check conflicts #124: Commit 5bb7c1b pushed by Tragicus
13s cstc
cstc
13s
cleanup Check conflicts #123: Commit 160ce24 pushed by Tragicus
11s fold-evd
fold-evd
11s
cleanup Windows CI #123: Commit 160ce24 pushed by Tragicus
59m 6s fold-evd
fold-evd
59m 6s
cleanup GitHub macOS CI #123: Commit 160ce24 pushed by Tragicus
23m 17s fold-evd
fold-evd
23m 17s
mk pred_of_argType a coercion from Sortclass GitHub macOS CI #122: Commit dd93d69 pushed by Tragicus
19m 6s cstc
cstc
19m 6s
mk pred_of_argType a coercion from Sortclass Check conflicts #122: Commit dd93d69 pushed by Tragicus
8s cstc
cstc
8s
mk pred_of_argType a coercion from Sortclass Windows CI #122: Commit dd93d69 pushed by Tragicus
53m 13s cstc
cstc
53m 13s
use typeclasses in unification Windows CI #121: Commit 7a4e5e7 pushed by Tragicus
47m 32s cstc
cstc
47m 32s
use typeclasses in unification Check conflicts #121: Commit 7a4e5e7 pushed by Tragicus
10s cstc
cstc
10s
ProTip! You can narrow down the results and go further in time using created:<2025-04-29 or the other filters available.