Skip to content

Actions: SkySkimmer/coq-tactician

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to coq/coq#20054 (register_ltac takes raw attributes) Remote Bench #17: Commit a2a59e3 pushed by SkySkimmer
January 22, 2025 13:22 24s tac-redef-locality
tac-redef-locality
January 22, 2025 13:22 24s
Adapt to coq/coq#20054 (register_ltac takes raw attributes) CI #17: Commit a2a59e3 pushed by SkySkimmer
January 22, 2025 13:22 3m 45s tac-redef-locality
tac-redef-locality
January 22, 2025 13:22 3m 45s
Adapt to coq/coq#20054 (register_ltac takes raw attributes) Stdlib #17: Commit a2a59e3 pushed by SkySkimmer
January 22, 2025 13:22 3m 29s tac-redef-locality
tac-redef-locality
January 22, 2025 13:22 3m 29s
Adapt to coq/coq#19646 (wit_constr_context doesn't exit anymore) Remote Bench #16: Commit 4612d5f pushed by SkySkimmer
October 9, 2024 12:29 22s g-obls-clean
g-obls-clean
October 9, 2024 12:29 22s
Adapt to coq/coq#19646 (wit_constr_context doesn't exit anymore) CI #16: Commit 4612d5f pushed by SkySkimmer
October 9, 2024 12:29 5m 41s g-obls-clean
g-obls-clean
October 9, 2024 12:29 5m 41s
Adapt to coq/coq#19646 (wit_constr_context doesn't exit anymore) Stdlib #16: Commit 4612d5f pushed by SkySkimmer
October 9, 2024 12:29 7m 54s g-obls-clean
g-obls-clean
October 9, 2024 12:29 7m 54s
[coq] Overlay for coq/coq#18385 CI #15: Commit 7bd4cfa pushed by SkySkimmer
July 8, 2024 09:02 5m 20s remove_legacy_build_mode
remove_legacy_build_mode
July 8, 2024 09:02 5m 20s
[coq] Overlay for coq/coq#18385 Stdlib #15: Commit 7bd4cfa pushed by SkySkimmer
July 8, 2024 09:02 3m 26s remove_legacy_build_mode
remove_legacy_build_mode
July 8, 2024 09:02 3m 26s
[coq] Overlay for coq/coq#18385 Remote Bench #15: Commit 7bd4cfa pushed by SkySkimmer
July 8, 2024 09:02 19s remove_legacy_build_mode
remove_legacy_build_mode
July 8, 2024 09:02 19s
Adapt to coq/coq#18938 (EConstr.ERelevance) Stdlib #14: Commit 27d83a1 pushed by SkySkimmer
April 17, 2024 12:16 3m 18s erelevance
erelevance
April 17, 2024 12:16 3m 18s
Adapt to coq/coq#18938 (EConstr.ERelevance) CI #14: Commit 27d83a1 pushed by SkySkimmer
April 17, 2024 12:16 5m 34s erelevance
erelevance
April 17, 2024 12:16 5m 34s
Adapt to coq/coq#18938 (EConstr.ERelevance) Remote Bench #14: Commit 27d83a1 pushed by SkySkimmer
April 17, 2024 12:16 22s erelevance
erelevance
April 17, 2024 12:16 22s
Adapt to coq/coq#18529 (no Dyn.anonymous) Stdlib #13: Commit 37b77f2 pushed by SkySkimmer
January 24, 2024 15:19 7m 43s dyn-no-anon
dyn-no-anon
January 24, 2024 15:19 7m 43s
Adapt to coq/coq#18529 (no Dyn.anonymous) Remote Bench #13: Commit 37b77f2 pushed by SkySkimmer
January 24, 2024 15:19 25s dyn-no-anon
dyn-no-anon
January 24, 2024 15:19 25s
Adapt to coq/coq#18529 (no Dyn.anonymous) CI #13: Commit 37b77f2 pushed by SkySkimmer
January 24, 2024 15:19 9m 54s dyn-no-anon
dyn-no-anon
January 24, 2024 15:19 9m 54s
Adapt to coq/coq#18528 (toplevel_selector moved to G_vernac) Remote Bench #12: Commit d276e44 pushed by SkySkimmer
January 23, 2024 12:35 16s ltac2-uncommon
ltac2-uncommon
January 23, 2024 12:35 16s
Adapt to coq/coq#18528 (toplevel_selector moved to G_vernac) CI #12: Commit d276e44 pushed by SkySkimmer
January 23, 2024 12:35 10m 0s ltac2-uncommon
ltac2-uncommon
January 23, 2024 12:35 10m 0s
Adapt to coq/coq#18528 (toplevel_selector moved to G_vernac) Stdlib #12: Commit d276e44 pushed by SkySkimmer
January 23, 2024 12:35 7m 40s ltac2-uncommon
ltac2-uncommon
January 23, 2024 12:35 7m 40s
Adapt to coq/coq#18352 (ltacX_common_plugin) CI #11: Commit a5ab580 pushed by SkySkimmer
January 18, 2024 13:29 9m 39s ltac2-ltac1
ltac2-ltac1
January 18, 2024 13:29 9m 39s
Adapt to coq/coq#18352 (ltacX_common_plugin) Remote Bench #11: Commit a5ab580 pushed by SkySkimmer
January 18, 2024 13:29 22s ltac2-ltac1
ltac2-ltac1
January 18, 2024 13:29 22s
Adapt to coq/coq#18352 (ltacX_common_plugin) Stdlib #11: Commit a5ab580 pushed by SkySkimmer
January 18, 2024 13:29 7m 36s ltac2-ltac1
ltac2-ltac1
January 18, 2024 13:29 7m 36s
Adapt to coq/coq#18143 (debug printing for relevances) Stdlib #10: Commit 132e179 pushed by SkySkimmer
December 15, 2023 13:10 7m 30s print-relevance
print-relevance
December 15, 2023 13:10 7m 30s
Adapt to coq/coq#18143 (debug printing for relevances) CI #10: Commit 132e179 pushed by SkySkimmer
December 15, 2023 13:10 9m 33s print-relevance
print-relevance
December 15, 2023 13:10 9m 33s
Adapt to coq/coq#18143 (debug printing for relevances) Remote Bench #10: Commit 132e179 pushed by SkySkimmer
December 15, 2023 13:10 21s print-relevance
print-relevance
December 15, 2023 13:10 21s
Centralize use of Stm Remote Bench #9: Commit 608ac91 pushed by SkySkimmer
December 5, 2023 10:13 20s less-stm
less-stm
December 5, 2023 10:13 20s