Skip to content

Actions: SkySkimmer/coq-tactician

Actions

Stdlib

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stdlib.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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) 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 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
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#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#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) 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
Centralize use of Stm Stdlib #9: Commit 608ac91 pushed by SkySkimmer
December 5, 2023 10:13 13m 40s less-stm
less-stm
December 5, 2023 10:13 13m 40s