Skip to content

Actions: SkySkimmer/coq-waterproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to coq/coq#19690 (Hint Extern respects default proof mode) Build #9: Commit dfbb8fd pushed by SkySkimmer
October 15, 2024 10:13 2m 9s ltacX-obligations
ltacX-obligations
October 15, 2024 10:13 2m 9s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) Build #8: Commit acfdb91 pushed by SkySkimmer
October 1, 2024 14:03 2m 58s push-context-strict
push-context-strict
October 1, 2024 14:03 2m 58s
Adapt to coq/coq#18938 (EConstr.ERelevance) Build #7: Commit b7afbb5 pushed by SkySkimmer
April 17, 2024 12:18 2m 6s erelevance
erelevance
April 17, 2024 12:18 2m 6s
Adapt to coq/coq#18624 (Tac2ffi / Tac2val split) Build #6: Commit 0a6ebb5 pushed by SkySkimmer
February 6, 2024 11:54 1m 52s split-tac2ffi
split-tac2ffi
February 6, 2024 11:54 1m 52s
Adapt to coq/coq#18529 (no Dyn.anonymous) Build #5: Commit 975ee57 pushed by SkySkimmer
January 24, 2024 15:25 1m 57s dyn-no-anon
dyn-no-anon
January 24, 2024 15:25 1m 57s
Adapt to coq/coq#18280 (case relevance outside case info) Build #4: Commit dc337c2 pushed by SkySkimmer
November 9, 2023 15:53 1m 51s ci-relevance
ci-relevance
November 9, 2023 15:53 1m 51s