Skip to content

Actions: Tragicus/coq

Actions

Github CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-github.yml
80 workflow runs
80 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

do not solve reducible cs pbs Github CI #30: Commit f3dd03e pushed by Tragicus
29m 53s cstc
cstc
29m 53s
overlays Github CI #29: Commit 9faf9e6 pushed by Tragicus
31m 16s evd-inst
evd-inst
31m 16s
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
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
(hds -> orig) + changelog Github CI #25: Commit 94a02b1 pushed by Tragicus
37m 33s fold-evd
fold-evd
37m 33s
equivalent-keys in ssrmatching Github CI #24: Commit 99c212f pushed by Tragicus
39m 9s equivalent-keys
equivalent-keys
39m 9s
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 Github CI #22: Commit 3c0a576 pushed by Tragicus
4m 0s tc-unif
tc-unif
4m 0s
cleanup Github CI #21: Commit 91f2306 pushed by Tragicus
44m 48s cstc
cstc
44m 48s
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 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
better error msg in typing.ml Github CI #16: Commit 89f2636 pushed by Tragicus
29m 21s occur-check-evar
occur-check-evar
29m 21s
check that evar arguments are of the expected type Github CI #15: Commit 0d7f20b pushed by Tragicus
31m 51s occur-check-evar
occur-check-evar
31m 51s
typecheck evar arguments instead of type Github CI #14: Commit 1d73de2 pushed by Tragicus
31m 27s occur-check-evar
occur-check-evar
31m 27s
check goal type is well-formed in Validate Proof Github CI #13: Commit 0bdc85f pushed by Tragicus
29m 51s occur-check-evar
occur-check-evar
29m 51s
stop checking for evar occurrence in evar type and stop checking that… Github CI #12: Commit b06b2c8 pushed by Tragicus
39m 45s occur-check-evar
occur-check-evar
39m 45s
wip Github CI #11: Commit a1d9622 pushed by Tragicus
41m 57s cstc
cstc
41m 57s
wip Github CI #10: Commit c8587b4 pushed by Tragicus
12m 43s reduce-projs-wip
reduce-projs-wip
12m 43s
overlay Github CI #9: Commit f3688c0 pushed by Tragicus
32m 21s reduce-projs
reduce-projs
32m 21s
overlay Github CI #8: Commit 47e2416 pushed by Tragicus
1m 15s reduce-projs
reduce-projs
1m 15s
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