Skip to content

Actions: thorimur/std4

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main into nightly-testing ci #52: Commit 65594b6 pushed by thorimur
November 13, 2024 00:31 1m 41s lean-pr-testing-3973-reset
lean-pr-testing-3973-reset
November 13, 2024 00:31 1m 41s
chore: reset to nightly-testing ci #51: Commit 2256525 pushed by thorimur
November 13, 2024 00:28 1m 8s lean-pr-testing-3973-reset
lean-pr-testing-3973-reset
November 13, 2024 00:28 1m 8s
Merge main into nightly-testing ci #50: Commit 65594b6 pushed by thorimur
November 13, 2024 00:24 1m 40s nightly-testing
nightly-testing
November 13, 2024 00:24 1m 40s
Trigger CI for https://github.com/leanprover/lean4/pull/3973 ci #49: Commit 3545293 pushed by thorimur
November 13, 2024 00:21 1m 0s lean-pr-testing-3973-reset
lean-pr-testing-3973-reset
November 13, 2024 00:21 1m 0s
chore: cleanup proof of satisfiesM_foldlM (#1039) ci #48: Commit e0d8449 pushed by thorimur
November 13, 2024 00:20 42s main
main
November 13, 2024 00:20 42s
feat: List.SatisfiesM_foldlM (#1034) ci #47: Commit 66a3bd2 pushed by thorimur
November 12, 2024 23:53 1m 39s main
main
November 12, 2024 23:53 1m 39s
chore: adapt to lean4#3654 ci #46: Commit d73394d pushed by thorimur
March 12, 2024 04:38 1m 13s dsimp-squeeze-adapt-3654
dsimp-squeeze-adapt-3654
March 12, 2024 04:38 1m 13s
chore: adapt to lean4#3654 ci #45: Commit 4231e69 pushed by thorimur
March 12, 2024 04:35 1m 14s dsimp-squeeze-adapt-3654
dsimp-squeeze-adapt-3654
March 12, 2024 04:35 1m 14s
chore: adapt to lean4#3654 ci #44: Commit 74c01bc pushed by thorimur
March 12, 2024 00:17 1m 10s dsimp-squeeze-adapt-3654
dsimp-squeeze-adapt-3654
March 12, 2024 00:17 1m 10s
Further docs fix (#676) ci #43: Commit f3447c3 pushed by thorimur
March 12, 2024 00:16 1m 37s dsimp-squeeze-adapt-3654
dsimp-squeeze-adapt-3654
March 12, 2024 00:16 1m 37s
Further docs fix (#676) ci #42: Commit f3447c3 pushed by thorimur
March 12, 2024 00:02 1m 40s main
main
March 12, 2024 00:02 1m 40s
feat: restore lemmas about order and Int.ediv (#542) ci #41: Commit e721cfa pushed by thorimur
February 22, 2024 20:38 2m 39s main
main
February 22, 2024 20:38 2m 39s
style: missing space ci #40: Commit ce2e38e pushed by thorimur
December 21, 2023 10:29 2m 35s nightly-testing
nightly-testing
December 21, 2023 10:29 2m 35s
fix: pass codeActionPrefix? to all user-facing functions ci #39: Commit a339277 pushed by thorimur
December 21, 2023 10:25 2m 33s nightly-testing
nightly-testing
December 21, 2023 10:25 2m 33s
fix for nightly ci #38: Commit 2a426e9 pushed by thorimur
December 21, 2023 09:52 2m 28s nightly-testing
nightly-testing
December 21, 2023 09:52 2m 28s
better ci #37: Commit d0b90ec pushed by thorimur
December 21, 2023 09:40 2m 32s nightly-testing
nightly-testing
December 21, 2023 09:40 2m 32s
feat: omega supports Nat.succ (#474) ci #36: Commit 7a51fa8 pushed by thorimur
December 21, 2023 09:36 2m 32s main
main
December 21, 2023 09:36 2m 32s
test: codeActionPrefix? argument to addSuggestions ci #35: Commit 1a892c4 pushed by thorimur
December 16, 2023 20:50 2m 19s try-these-custom-codeaction
try-these-custom-codeaction
December 16, 2023 20:50 2m 19s
feat: lemmas about List.indexOf/indexesOf (#393) ci #34: Commit fadefd5 pushed by thorimur
December 16, 2023 19:30 2m 20s try-these-custom-codeaction
try-these-custom-codeaction
December 16, 2023 19:30 2m 20s
feat: lemmas about List.indexOf/indexesOf (#393) ci #33: Commit fadefd5 pushed by thorimur
December 16, 2023 19:30 2m 16s main
main
December 16, 2023 19:30 2m 16s
toolchain ci #32: Commit e2c9456 pushed by thorimur
October 24, 2023 02:40 3m 8s lean-pr-testing-2679
lean-pr-testing-2679
October 24, 2023 02:40 3m 8s
toolchain ci #31: Commit 4298098 pushed by thorimur
October 24, 2023 02:13 3m 20s lean4-2679
lean4-2679
October 24, 2023 02:13 3m 20s
toolchain ci #30: Commit f3b6d2b pushed by thorimur
October 24, 2023 01:02 2m 35s lean4-2679
lean4-2679
October 24, 2023 01:02 2m 35s
docs: fix a test description ci #29: Commit 640753d pushed by thorimur
October 24, 2023 00:41 2m 57s try-these
try-these
October 24, 2023 00:41 2m 57s
fix: monads ci #28: Commit 0d39f21 pushed by digama0
October 24, 2023 00:03 3m 17s try-these
try-these
October 24, 2023 00:03 3m 17s