Skip to content

Actions: FR-vdash-bot/std4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: merge main and trigger Mathlib check ci #59: Commit ef2bc76 pushed by fgdorais
September 28, 2024 16:37 1m 18s eq_implicit
eq_implicit
September 28, 2024 16:37 1m 18s
chore: use implicit arguments in iff lemmas ci #58: Commit 8c79f5b pushed by FR-vdash-bot
September 24, 2024 18:57 1m 18s eq_implicit
eq_implicit
September 24, 2024 18:57 1m 18s
chore: use implicit arguments in iff lemmas ci #57: Commit de49ce3 pushed by FR-vdash-bot
September 24, 2024 18:38 1m 28s eq_implicit
eq_implicit
September 24, 2024 18:38 1m 28s
Squashed commit of the following: ci #56: Commit c50c429 pushed by FR-vdash-bot
June 9, 2024 01:02 37s binaryRec
binaryRec
June 9, 2024 01:02 37s
file name & docs ci #55: Commit 612d756 pushed by FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
May 16, 2024 08:23 1m 22s binaryRec
binaryRec
May 16, 2024 08:23 1m 22s
import everything ci #50: Commit 314576d pushed by FR-vdash-bot
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 FR-vdash-bot
May 16, 2024 07:45 1m 21s binaryRec
binaryRec
May 16, 2024 07:45 1m 21s
revert ci #48: Commit 3aec33e pushed by FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
January 26, 2024 07:12 2m 24s bitwise
bitwise
January 26, 2024 07:12 2m 24s
fix merge ci #38: Commit 67605c3 pushed by FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
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 FR-vdash-bot
January 19, 2024 07:09 1m 11s bitwise
bitwise
January 19, 2024 07:09 1m 11s