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
361 workflow runs
361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #60: Scheduled
2s master
master
2s
rm problematic variables under evars for evar instantiation + shelve … Github CI #28: Commit 903d928 pushed by Tragicus
31m 23s evd-inst
evd-inst
31m 23s
rm problematic variables under evars for evar instantiation + shelve … Check conflicts #151: Commit 903d928 pushed by Tragicus
10s evd-inst
evd-inst
10s
Stale PRs Stale PRs #59: Scheduled
1s master
master
1s
Merge PR #21166: Get rid of level-tolerance warning levels Check conflicts #150: Commit cd176ab pushed by Tragicus
8s master
master
8s
Merge PR #21166: Get rid of level-tolerance warning levels Github CI #27: Commit cd176ab pushed by Tragicus
42m 46s master
master
42m 46s
debug Github CI #26: Commit d24e0ba pushed by Tragicus
43m 38s evd-inst
evd-inst
43m 38s
debug Check conflicts #149: Commit d24e0ba pushed by Tragicus
8s evd-inst
evd-inst
8s
(hds -> orig) + changelog Github CI #25: Commit 94a02b1 pushed by Tragicus
37m 33s fold-evd
fold-evd
37m 33s
(hds -> orig) + changelog Check conflicts #148: Commit 94a02b1 pushed by Tragicus
13s fold-evd
fold-evd
13s
equivalent-keys in ssrmatching Github CI #24: Commit 99c212f pushed by Tragicus
39m 9s equivalent-keys
equivalent-keys
39m 9s
equivalent-keys in ssrmatching Check conflicts #147: Commit 99c212f pushed by Tragicus
8s equivalent-keys
equivalent-keys
8s
add typeclass resolution when unification gets stuck Check conflicts #146: Commit e10943e pushed by Tragicus
11s tc-unif
tc-unif
11s
add typeclass resolution when unification gets stuck Github CI #23: Commit e10943e pushed by Tragicus
40m 47s tc-unif
tc-unif
40m 47s
add typeclass resolution at the end of unification Check conflicts #145: Commit 3c0a576 pushed by Tragicus
11s tc-unif
tc-unif
11s
add typeclass resolution at the end of unification Github CI #22: Commit 3c0a576 pushed by Tragicus
4m 0s tc-unif
tc-unif
4m 0s
cleanup Check conflicts #144: Commit 91f2306 pushed by Tragicus
8s cstc
cstc
8s
cleanup Github CI #21: Commit 91f2306 pushed by Tragicus
44m 48s cstc
cstc
44m 48s
fold_with_full_binders Check conflicts #143: Commit 0c2b469 pushed by Tragicus
10s fold_with_full_binders
fold_with_full_binders
10s
fold_with_full_binders Github CI #20: Commit 0c2b469 pushed by Tragicus
38m 17s fold_with_full_binders
fold_with_full_binders
38m 17s
fold_with_full_binders Github CI #19: Commit 4cc9f85 pushed by Tragicus
2m 45s fold_with_full_binders
fold_with_full_binders
2m 45s
fold_with_full_binders Check conflicts #142: Commit 4cc9f85 pushed by Tragicus
7s fold_with_full_binders
fold_with_full_binders
7s
fold_with_full_binders Check conflicts #141: Commit a5ba60a pushed by Tragicus
8s cstc
cstc
8s
fold_with_full_binders Github CI #18: Commit a5ba60a pushed by Tragicus
43m 1s cstc
cstc
43m 1s
more reductions after tc + debug Github CI #17: Commit da043ce pushed by Tragicus
42m 59s cstc
cstc
42m 59s