Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
467 workflow run results
467 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #542: Scheduled
September 29, 2023 02:18 2s master
master
September 29, 2023 02:18 2s
Don't map_constr_relevance when not needed in subst_instance_constr Check conflicts #4007: Commit 8449507 pushed by SkySkimmer
September 28, 2023 15:30 17s sort-poly
sort-poly
September 28, 2023 15:30 17s
Don't map_constr_relevance when not needed in subst_instance_constr GitHub macOS CI #2361: Commit 8449507 pushed by SkySkimmer
September 28, 2023 15:30 36m 14s sort-poly
sort-poly
September 28, 2023 15:30 36m 14s
Don't map_constr_relevance when not needed in subst_instance_constr Windows CI #2199: Commit 8449507 pushed by SkySkimmer
September 28, 2023 15:30 1h 15m 55s sort-poly
sort-poly
September 28, 2023 15:30 1h 15m 55s
Don't map_constr_relevance when not needed in subst_instance_constr Check conflicts #4006: Commit 239f2e5 pushed by SkySkimmer
September 28, 2023 15:17 12s sort-poly
sort-poly
September 28, 2023 15:17 12s
Don't map_constr_relevance when not needed in subst_instance_constr Windows CI #2198: Commit 239f2e5 pushed by SkySkimmer
September 28, 2023 15:17 1h 4m 2s sort-poly
sort-poly
September 28, 2023 15:17 1h 4m 2s
Don't map_constr_relevance when not needed in subst_instance_constr GitHub macOS CI #2360: Commit 239f2e5 pushed by SkySkimmer
September 28, 2023 15:17 35m 15s sort-poly
sort-poly
September 28, 2023 15:17 35m 15s
Ltac2: remove redundant constr_constructor external Windows CI #2197: Commit e9459e5 pushed by SkySkimmer
September 28, 2023 15:09 1h 16m 20s ltac2-constructor
ltac2-constructor
September 28, 2023 15:09 1h 16m 20s
Ltac2: remove redundant constr_constructor external GitHub macOS CI #2359: Commit e9459e5 pushed by SkySkimmer
September 28, 2023 15:09 34m 25s ltac2-constructor
ltac2-constructor
September 28, 2023 15:09 34m 25s
Ltac2: remove redundant constr_constructor external Check conflicts #4005: Commit e9459e5 pushed by SkySkimmer
September 28, 2023 15:09 14s ltac2-constructor
ltac2-constructor
September 28, 2023 15:09 14s
coq_makefile: print help to stdout when using -h, add -v --version flags GitHub macOS CI #2358: Commit ec3083c pushed by SkySkimmer
September 28, 2023 13:57 50m 38s coqmakefile-he
coqmakefile-he
September 28, 2023 13:57 50m 38s
coq_makefile: print help to stdout when using -h, add -v --version flags Windows CI #2196: Commit ec3083c pushed by SkySkimmer
September 28, 2023 13:57 1h 12m 0s coqmakefile-he
coqmakefile-he
September 28, 2023 13:57 1h 12m 0s
coq_makefile: print help to stdout when using -h, add -v --version flags Check conflicts #4004: Commit ec3083c pushed by SkySkimmer
September 28, 2023 13:57 15s coqmakefile-he
coqmakefile-he
September 28, 2023 13:57 15s
rewrite strategies: expose fixpoint operator Windows CI #2195: Commit 97a5ae4 pushed by SkySkimmer
September 28, 2023 13:54 58m 31s stratfix
stratfix
September 28, 2023 13:54 58m 31s
rewrite strategies: expose fixpoint operator GitHub macOS CI #2357: Commit 97a5ae4 pushed by SkySkimmer
September 28, 2023 13:54 32m 49s stratfix
stratfix
September 28, 2023 13:54 32m 49s
rewrite strategies: expose fixpoint operator Check conflicts #4003: Commit 97a5ae4 pushed by SkySkimmer
September 28, 2023 13:54 11s stratfix
stratfix
September 28, 2023 13:54 11s
Ltac2: Avoid generating useless letin when interning { foo with ... } GitHub macOS CI #2356: Commit b7c7f66 pushed by SkySkimmer
September 28, 2023 13:50 40m 8s ltac2-record-with
ltac2-record-with
September 28, 2023 13:50 40m 8s
Ltac2: Avoid generating useless letin when interning { foo with ... } Check conflicts #4002: Commit b7c7f66 pushed by SkySkimmer
September 28, 2023 13:50 15s ltac2-record-with
ltac2-record-with
September 28, 2023 13:50 15s
Ltac2: Avoid generating useless letin when interning { foo with ... } Windows CI #2194: Commit b7c7f66 pushed by SkySkimmer
September 28, 2023 13:50 1h 7m 0s ltac2-record-with
ltac2-record-with
September 28, 2023 13:50 1h 7m 0s
Relax lookahead test for ltac2 { foo with ... } to allow qualids GitHub macOS CI #2355: Commit 41c59ab pushed by SkySkimmer
September 28, 2023 13:40 34m 38s ltac2-record-with
ltac2-record-with
September 28, 2023 13:40 34m 38s
Relax lookahead test for ltac2 { foo with ... } to allow qualids Windows CI #2193: Commit 41c59ab pushed by SkySkimmer
September 28, 2023 13:40 1h 35m 41s ltac2-record-with
ltac2-record-with
September 28, 2023 13:40 1h 35m 41s
Relax lookahead test for ltac2 { foo with ... } to allow qualids Check conflicts #4001: Commit 41c59ab pushed by SkySkimmer
September 28, 2023 13:40 14s ltac2-record-with
ltac2-record-with
September 28, 2023 13:40 14s
Relax lookahead test for ltac2 { foo with ... } to allow qualids Windows CI #2192: Commit d786767 pushed by SkySkimmer
September 28, 2023 13:38 1h 14m 33s ltac2-record-with
ltac2-record-with
September 28, 2023 13:38 1h 14m 33s
Relax lookahead test for ltac2 { foo with ... } to allow qualids Check conflicts #4000: Commit d786767 pushed by SkySkimmer
September 28, 2023 13:38 15s ltac2-record-with
ltac2-record-with
September 28, 2023 13:38 15s
Relax lookahead test for ltac2 { foo with ... } to allow qualids GitHub macOS CI #2354: Commit d786767 pushed by SkySkimmer
September 28, 2023 13:38 36m 1s ltac2-record-with
ltac2-record-with
September 28, 2023 13:38 36m 1s