Skip to content

Actions: leanprover-community/batteries

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
6,201 workflow run results
6,201 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: monadic defs for statically sized vectors ci #7856: Pull request #925 synchronize by Shreyas4991
August 18, 2024 00:06 55s Shreyas4991:vector_monadic_defs
Shreyas4991:vector_monadic_defs
August 18, 2024 00:06 55s
feat: monadic defs for statically sized vectors ci #7855: Pull request #925 synchronize by Shreyas4991
August 17, 2024 23:55 39s Shreyas4991:vector_monadic_defs
Shreyas4991:vector_monadic_defs
August 17, 2024 23:55 39s
feat: monadic defs for statically sized vectors ci #7854: Pull request #925 synchronize by Shreyas4991
August 17, 2024 23:42 39s Shreyas4991:vector_monadic_defs
Shreyas4991:vector_monadic_defs
August 17, 2024 23:42 39s
feat: monadic defs for statically sized vectors ci #7853: Pull request #925 synchronize by Shreyas4991
August 17, 2024 23:31 39s Shreyas4991:vector_monadic_defs
Shreyas4991:vector_monadic_defs
August 17, 2024 23:31 39s
feat: monadic defs for statically sized vectors ci #7852: Pull request #925 opened by Shreyas4991
August 17, 2024 22:46 55s Shreyas4991:vector_monadic_defs
Shreyas4991:vector_monadic_defs
August 17, 2024 22:46 55s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7851: Commit 388f453 pushed by leanprover-community-mathlib4-bot
August 17, 2024 17:26 1m 31s lean-pr-testing-5079
lean-pr-testing-5079
August 17, 2024 17:26 1m 31s
feat: fill in proof of Array.data_erase ci #7850: Pull request #690 synchronize by Seppel3210
August 17, 2024 16:57 57s erase_data
erase_data
August 17, 2024 16:57 57s
feat: fill in proof of Array.data_erase ci #7849: Pull request #690 synchronize by Seppel3210
August 17, 2024 16:47 23s erase_data
erase_data
August 17, 2024 16:47 23s
chore: update .gitpod.yml to pre-build Batteries ci #7848: Pull request #924 opened by Shreyas4991
August 17, 2024 12:32 40s Shreyas4991:gitpod_lake_build
Shreyas4991:gitpod_lake_build
August 17, 2024 12:32 40s
chore: bump to nightly-2024-08-17 ci #7847: Commit ecbdfba pushed by leanprover-community-mathlib4-bot
August 17, 2024 09:05 1m 1s nightly-testing
nightly-testing
August 17, 2024 09:05 1m 1s
Merge main into nightly-testing ci #7846: Commit 75252e9 pushed by leanprover-community-mathlib4-bot
August 17, 2024 06:01 1m 2s nightly-testing
nightly-testing
August 17, 2024 06:01 1m 2s
chore: restore splitAt pointer equality behaviour (#922) ci #7845: Commit a975dea pushed by digama0
August 17, 2024 06:01 59s main
main
August 17, 2024 06:01 59s
chore: adaptations for nightly-2024-08-16 ci #7844: Pull request #923 opened by kim-em
August 17, 2024 04:15 1m 30s bump/nightly-2024-08-16
bump/nightly-2024-08-16
August 17, 2024 04:15 1m 30s
merge nightly-testing ci #7843: Commit 61bf963 pushed by kim-em
August 17, 2024 04:15 1m 28s bump/nightly-2024-08-16
bump/nightly-2024-08-16
August 17, 2024 04:15 1m 28s
merge main ci #7842: Commit 50a68a2 pushed by kim-em
August 17, 2024 04:14 48s bump/v4.12.0
bump/v4.12.0
August 17, 2024 04:14 48s
chore: restore splitAt pointer equality behaviour ci #7841: Pull request #922 opened by kim-em
August 17, 2024 04:10 1m 5s restore_splitAt_pointer_eq
restore_splitAt_pointer_eq
August 17, 2024 04:10 1m 5s
chore: restore splitAt pointer equality behaviour ci #7840: Commit 81cac6c pushed by kim-em
August 17, 2024 04:10 1m 2s restore_splitAt_pointer_eq
restore_splitAt_pointer_eq
August 17, 2024 04:10 1m 2s
Merge branch 'nightly-testing' of github.com:leanprover/std4 into nig… ci #7839: Commit 1e44ccd pushed by kim-em
August 17, 2024 03:51 39s nightly-testing
nightly-testing
August 17, 2024 03:51 39s
Merge main into nightly-testing ci #7838: Commit 581030f pushed by leanprover-community-mathlib4-bot
August 17, 2024 02:34 1m 9s nightly-testing
nightly-testing
August 17, 2024 02:34 1m 9s
chore: remove unnecessary case for splitAt.go (#921) ci #7837: Commit 65f464e pushed by kim-em
August 17, 2024 02:34 1m 7s main
main
August 17, 2024 02:34 1m 7s
chore: remove unnecessary case for splitAt.go ci #7836: Pull request #921 synchronize by kim-em
August 17, 2024 02:33 59s splitAt_case
splitAt_case
August 17, 2024 02:33 59s
add theorem ci #7835: Commit 8a75e0a pushed by kim-em
August 17, 2024 02:33 59s splitAt_case
splitAt_case
August 17, 2024 02:33 59s
chore: remove unnecessary case for splitAt.go ci #7834: Pull request #921 opened by kim-em
August 17, 2024 02:27 1m 1s splitAt_case
splitAt_case
August 17, 2024 02:27 1m 1s
chore: remove unnecessary case for splitAt.go ci #7833: Commit c3c819a pushed by kim-em
August 17, 2024 02:27 1m 1s splitAt_case
splitAt_case
August 17, 2024 02:27 1m 1s
fix looping simp? ci #7832: Commit b5d4fc3 pushed by kim-em
August 17, 2024 02:19 1m 12s nightly-testing
nightly-testing
August 17, 2024 02:19 1m 12s