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

Skip to content

Actions: Tragicus/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
364 workflow runs
364 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
use typeclasses in unification GitHub macOS CI #121: Commit 7a4e5e7 pushed by Tragicus
20m 34s cstc
cstc
20m 34s
debug Windows CI #120: Commit 503a1d2 pushed by Tragicus
46m 41s fold-evd-debug
fold-evd-debug
46m 41s
debug GitHub macOS CI #120: Commit 503a1d2 pushed by Tragicus
25m 25s fold-evd-debug
fold-evd-debug
25m 25s
debug Check conflicts #120: Commit 503a1d2 pushed by Tragicus
10s fold-evd-debug
fold-evd-debug
10s
retype in (exact_)ise_stack2 Windows CI #119: Commit b7a881c pushed by Tragicus
57m 3s retype-stack
retype-stack
57m 3s
retype in (exact_)ise_stack2 GitHub macOS CI #119: Commit b7a881c pushed by Tragicus
25m 17s retype-stack
retype-stack
25m 17s