Skip to content

Actions: negiizhao/std4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Squashed commit of the following: ci #56: Commit c50c429 pushed by negiizhao
June 9, 2024 01:02 37s binaryRec
binaryRec
June 9, 2024 01:02 37s
file name & docs ci #55: Commit 612d756 pushed by negiizhao
June 9, 2024 00:57 17s binaryRec
binaryRec
June 9, 2024 00:57 17s
Merge remote-tracking branch 'upstream/main' into binaryRec ci #54: Commit efef3df pushed by negiizhao
June 9, 2024 00:56 1m 27s binaryRec
binaryRec
June 9, 2024 00:56 1m 27s
chore: remove binder_predicate ci #53: Commit 9f49dfd pushed by negiizhao
June 3, 2024 08:28 1m 37s remove_binder_predicate
remove_binder_predicate
June 3, 2024 08:28 1m 37s
chore: remove binder_predicate ci #52: Commit 9f49dfd pushed by negiizhao
June 3, 2024 08:27 1m 32s patch-1
patch-1
June 3, 2024 08:27 1m 32s
fix ci #51: Commit b310d1f pushed by negiizhao
May 16, 2024 08:23 1m 22s binaryRec
binaryRec
May 16, 2024 08:23 1m 22s
import everything ci #50: Commit 314576d pushed by negiizhao
May 16, 2024 07:48 1m 6s binaryRec
binaryRec
May 16, 2024 07:48 1m 6s
chore: upstream Nat.binaryRec ci #49: Commit 80d768e pushed by negiizhao
May 16, 2024 07:45 1m 21s binaryRec
binaryRec
May 16, 2024 07:45 1m 21s
revert ci #48: Commit 3aec33e pushed by negiizhao
April 25, 2024 16:34 1m 43s lean4-pr-3756
lean4-pr-3756
April 25, 2024 16:34 1m 43s
chore: adaptations for leanprover/lean4#3756 ci #47: Commit 4c85c89 pushed by negiizhao
April 25, 2024 06:46 1m 51s lean4-pr-3756
lean4-pr-3756
April 25, 2024 06:46 1m 51s
fix adaptations for lean4#3975 ci #46: Commit 9cec679 pushed by negiizhao
April 24, 2024 18:03 1m 55s lean4-pr-3756
lean4-pr-3756
April 24, 2024 18:03 1m 55s
fix adaptations for lean4#3975 ci #45: Commit 1e15ff5 pushed by negiizhao
April 24, 2024 17:59 1m 27s lean4-pr-3756
lean4-pr-3756
April 24, 2024 17:59 1m 27s
adaptations for lean4#3975 ci #44: Commit e13ee83 pushed by negiizhao
April 24, 2024 17:51 1m 28s lean4-pr-3756
lean4-pr-3756
April 24, 2024 17:51 1m 28s
Merge remote-tracking branch 'upstream/nightly-testing' into lean4-pr… ci #43: Commit 7e3b339 pushed by negiizhao
April 24, 2024 17:03 58s lean4-pr-3756
lean4-pr-3756
April 24, 2024 17:03 58s
Merge remote-tracking branch 'upstream/bump/nightly-2024-04-22' into … ci #42: Commit f89639d pushed by negiizhao
April 24, 2024 16:58 1m 8s lean4-pr-3756
lean4-pr-3756
April 24, 2024 16:58 1m 8s
chore: adaptations for leanprover/lean4#3756 ci #41: Commit 3837547 pushed by negiizhao
April 24, 2024 16:41 31s lean4-pr-3756
lean4-pr-3756
April 24, 2024 16:41 31s
feat: propose removing classical! (#752) ci #40: Commit 4a54f26 pushed by negiizhao
April 24, 2024 16:39 1m 50s lean4-pr-3756
lean4-pr-3756
April 24, 2024 16:39 1m 50s
Merge remote-tracking branch 'upstream/main' into bitwise ci #39: Commit 89a4e75 pushed by negiizhao
January 26, 2024 07:12 2m 24s bitwise
bitwise
January 26, 2024 07:12 2m 24s
fix merge ci #38: Commit 67605c3 pushed by negiizhao
January 20, 2024 18:07 2m 31s bitwise
bitwise
January 20, 2024 18:07 2m 31s
Update Bool.lean ci #37: Commit 86627c6 pushed by negiizhao
January 20, 2024 18:05 2m 22s more_lemmas_for_bool
more_lemmas_for_bool
January 20, 2024 18:05 2m 22s
Merge remote-tracking branch 'upstream/main' into more_lemmas_for_bool ci #36: Commit 8901a71 pushed by negiizhao
January 20, 2024 18:05 2m 24s more_lemmas_for_bool
more_lemmas_for_bool
January 20, 2024 18:05 2m 24s
fix merge ci #35: Commit 1736834 pushed by negiizhao
January 19, 2024 07:09 1m 11s bitwise
bitwise
January 19, 2024 07:09 1m 11s
Merge remote-tracking branch 'upstream/main' into bitwise ci #34: Commit c5b411a pushed by negiizhao
January 19, 2024 07:07 55s bitwise
bitwise
January 19, 2024 07:07 55s
suggestion ci #33: Commit bd518d9 pushed by negiizhao
December 29, 2023 08:34 2m 20s more_lemmas_for_bool
more_lemmas_for_bool
December 29, 2023 08:34 2m 20s
suggestion ci #32: Commit ffcb29f pushed by negiizhao
December 29, 2023 08:29 2m 24s more_lemmas_about_eq
more_lemmas_about_eq
December 29, 2023 08:29 2m 24s