Skip to content

Actions: Yann-Leray/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
582 workflow runs
582 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Stale PRs Stale PRs #195: Scheduled
1s rewrite-rules
rewrite-rules
1s
Add a default bidirectional hint after params for constructors Github CI #192: Commit d4cca2b pushed by yannl35133
34m 59s bidi-ctors
bidi-ctors
34m 59s
Add a default bidirectional hint after params for constructors Check conflicts #193: Commit d4cca2b pushed by yannl35133
10s bidi-ctors
bidi-ctors
10s
Add a default bidirectional hint after params for constructors Github CI #191: Commit 62eb4e7 pushed by yannl35133
40m 51s bidi-ctors
bidi-ctors
40m 51s
Add a default bidirectional hint after params for constructors Check conflicts #192: Commit 62eb4e7 pushed by yannl35133
11s bidi-ctors
bidi-ctors
11s
Add a default bidirectional hint after params for constructors Check conflicts #191: Commit 17134cc pushed by yannl35133
9s bidi-ctors
bidi-ctors
9s
Add a default bidirectional hint after params for constructors Github CI #190: Commit 17134cc pushed by yannl35133
10m 10s bidi-ctors
bidi-ctors
10m 10s
Stale PRs Stale PRs #194: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #193: Scheduled
1s rewrite-rules
rewrite-rules
1s
Allow subtyping for rewrite rules Github CI #189: Commit 5d70660 pushed by yannl35133
33m 25s rr-local-modules
rr-local-modules
33m 25s
Allow subtyping for rewrite rules Check conflicts #190: Commit 5d70660 pushed by yannl35133
11s rr-local-modules
rr-local-modules
11s
Prevent downcast on RR evars Github CI #188: Commit 0f8518b pushed by yannl35133
37m 14s rr-evars-no-unif-default
rr-evars-no-unif-default
37m 14s
Prevent downcast on RR evars Check conflicts #189: Commit 0f8518b pushed by yannl35133
10s rr-evars-no-unif-default
rr-evars-no-unif-default
10s
Documentation Github CI #187: Commit dd3fb25 pushed by yannl35133
36m 33s rewrite-rules
rewrite-rules
36m 33s
Documentation Check conflicts #188: Commit dd3fb25 pushed by yannl35133
2m 9s rewrite-rules
rewrite-rules
2m 9s
Stale PRs Stale PRs #192: Scheduled
1s rewrite-rules
rewrite-rules
1s
Typechecker for rewrite rules Check conflicts #187: Commit de88ece pushed by yannl35133
2m 11s rewrite-rules
rewrite-rules
2m 11s
Typechecker for rewrite rules Github CI #186: Commit de88ece pushed by yannl35133
42m 15s rewrite-rules
rewrite-rules
42m 15s
QLeq has nothing to do with elimination Check conflicts #186: Commit 6e34eb9 pushed by yannl35133
11s trivial-qleq
trivial-qleq
11s
QLeq has nothing to do with elimination Github CI #185: Commit 6e34eb9 pushed by yannl35133
45m 20s trivial-qleq
trivial-qleq
45m 20s
Stale PRs Stale PRs #191: Scheduled
2s rewrite-rules
rewrite-rules
2s
overlays Check conflicts #185: Commit 0c0845a pushed by yannl35133
8s rr-evars-no-unif-default
rr-evars-no-unif-default
8s
overlays Github CI #184: Commit 0c0845a pushed by yannl35133
34m 11s rr-evars-no-unif-default
rr-evars-no-unif-default
34m 11s
Allow prunings that can be reduced away to be reduced away Github CI #183: Commit 1c869c1 pushed by yannl35133
36m 19s guard-red-after-prune
guard-red-after-prune
36m 19s
Allow prunings that can be reduced away to be reduced away Check conflicts #184: Commit 1c869c1 pushed by yannl35133
11s guard-red-after-prune
guard-red-after-prune
11s