Skip to content

Actions: haansn08/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add Proper instances for some number theorems to improve rewriting wi… Windows CI #74: Commit 569b187 pushed by JasonGross
April 17, 2024 17:53 37m 38s proper_instances1
proper_instances1
April 17, 2024 17:53 37m 38s
add Proper instances for some number theorems to improve rewriting wi… GitHub macOS CI #74: Commit 569b187 pushed by JasonGross
April 17, 2024 17:53 50m 56s proper_instances1
proper_instances1
April 17, 2024 17:53 50m 56s
add Proper instances for some number theorems to improve rewriting wi… Check conflicts #74: Commit 569b187 pushed by JasonGross
April 17, 2024 17:53 12s proper_instances1
proper_instances1
April 17, 2024 17:53 12s
lemma names as suggested by Andres Erbsen, changelog Check conflicts #73: Commit a9dad4d pushed by haansn08
February 17, 2024 00:25 17s NoDup_lemmas
NoDup_lemmas
February 17, 2024 00:25 17s
lemma names as suggested by Andres Erbsen, changelog Windows CI #73: Commit a9dad4d pushed by haansn08
February 17, 2024 00:25 57m 32s NoDup_lemmas
NoDup_lemmas
February 17, 2024 00:25 57m 32s
lemma names as suggested by Andres Erbsen, changelog GitHub macOS CI #73: Commit a9dad4d pushed by haansn08
February 17, 2024 00:25 51m 50s NoDup_lemmas
NoDup_lemmas
February 17, 2024 00:25 51m 50s
InjectiveOn_map_NoDup -> ForallPairs_inj_map_NoDup Windows CI #72: Commit 3d1c825 pushed by haansn08
October 19, 2023 09:34 1h 32m 29s NoDup_lemmas
NoDup_lemmas
October 19, 2023 09:34 1h 32m 29s
InjectiveOn_map_NoDup -> ForallPairs_inj_map_NoDup GitHub macOS CI #72: Commit 3d1c825 pushed by haansn08
October 19, 2023 09:34 40m 35s NoDup_lemmas
NoDup_lemmas
October 19, 2023 09:34 40m 35s
InjectiveOn_map_NoDup -> ForallPairs_inj_map_NoDup Check conflicts #72: Commit 3d1c825 pushed by haansn08
October 19, 2023 09:34 14s NoDup_lemmas
NoDup_lemmas
October 19, 2023 09:34 14s
add NoDup_app, InjectiveOn_map_NoDup, ForallOrdPairs_NoDup, NoDup_concat GitHub macOS CI #71: Commit 827a2e9 pushed by haansn08
October 16, 2023 23:43 33m 22s NoDup_lemmas
NoDup_lemmas
October 16, 2023 23:43 33m 22s
add NoDup_app, InjectiveOn_map_NoDup, ForallOrdPairs_NoDup, NoDup_concat Check conflicts #71: Commit 827a2e9 pushed by haansn08
October 16, 2023 23:43 15s NoDup_lemmas
NoDup_lemmas
October 16, 2023 23:43 15s
add NoDup_app, InjectiveOn_map_NoDup, ForallOrdPairs_NoDup, NoDup_concat Windows CI #71: Commit 827a2e9 pushed by haansn08
October 16, 2023 23:43 1h 12m 57s NoDup_lemmas
NoDup_lemmas
October 16, 2023 23:43 1h 12m 57s