Skip to content

Actions: thorimur/std4

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
32 workflow run results
32 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
doc: missing parameter docs ci #27: Commit 1e81fc9 pushed by digama0
October 23, 2023 23:54 2m 50s try-these
try-these
October 23, 2023 23:54 2m 50s
toolchain ci #26: Commit 0dea6b5 pushed by thorimur
October 23, 2023 22:08 2m 36s lean4-2679
lean4-2679
October 23, 2023 22:08 2m 36s
chore: automation to maintain a nightly-testing branch (#317) ci #25: Commit 2f4df2b pushed by thorimur
October 23, 2023 21:59 2m 42s main
main
October 23, 2023 21:59 2m 42s
toolchain ci #24: Commit 0110d6e pushed by thorimur
October 23, 2023 21:56 2m 53s lean4-2679
lean4-2679
October 23, 2023 21:56 2m 53s
manifest? ci #23: Commit 1c23cd2 pushed by thorimur
October 23, 2023 21:48 2m 59s lean4-2679
lean4-2679
October 23, 2023 21:48 2m 59s
manifest? ci #22: Commit 8b0a85a pushed by thorimur
October 23, 2023 21:31 2m 34s lean4-2679
lean4-2679
October 23, 2023 21:31 2m 34s
fix: use getInputWidth as the default width ci #21: Commit 554079e pushed by thorimur
October 23, 2023 07:38 2m 40s try-these
try-these
October 23, 2023 07:38 2m 40s
chore: := syntax in package is deprecated ci #20: Commit d83bd03 pushed by thorimur
October 23, 2023 07:20 3m 9s main
main
October 23, 2023 07:20 3m 9s
toolchain ci #19: Commit 4298098 pushed by thorimur
October 23, 2023 04:11 2m 27s lean4-2679
lean4-2679
October 23, 2023 04:11 2m 27s
Merge branch 'lean-pr-testing-2688' into lean4-2679 ci #18: Commit 8d79b9f pushed by thorimur
October 23, 2023 04:09 2m 19s lean4-2679
lean4-2679
October 23, 2023 04:09 2m 19s
Merge branch 'lean-pr-testing-2688' into rw-bug-pre-adapt ci #17: Commit 50e6b6b pushed by thorimur
October 21, 2023 19:37 2m 31s rw-bug-pre-adapt
rw-bug-pre-adapt
October 21, 2023 19:37 2m 31s
chore: bump toolchain to v4.2.0-rc4 (#310) ci #16: Commit b35ae72 pushed by thorimur
October 21, 2023 19:27 2m 30s main
main
October 21, 2023 19:27 2m 30s
Merge remote-tracking branch 'semorrison/bump_2621' into lean4-2679 ci #15: Commit 27f708a pushed by thorimur
October 16, 2023 01:53 1m 2s lean4-2679
lean4-2679
October 16, 2023 01:53 1m 2s
Revert "fix: add type annotation to by simpa using ... " ci #14: Commit 414d697 pushed by thorimur
October 16, 2023 00:00 2m 55s lean4-2679
lean4-2679
October 16, 2023 00:00 2m 55s
fix: add type annotation to by simpa using ... ci #13: Commit 038ff75 pushed by thorimur
October 15, 2023 02:54 6m 58s lean4-2679
lean4-2679
October 15, 2023 02:54 6m 58s
feat: add Float.{toRatParts, toStringFull} (#282) ci #12: Commit 846e9e1 pushed by thorimur
October 14, 2023 07:00 2m 32s main
main
October 14, 2023 07:00 2m 32s
feat: fail if suggestions is empty ci #11: Commit d9abcff pushed by thorimur
September 20, 2023 18:17 2m 29s try-these
try-these
September 20, 2023 18:17 2m 29s
style: isPreferred? instead of isPreferred ci #10: Commit ef6e153 pushed by thorimur
September 12, 2023 22:33 2m 17s try-these
try-these
September 12, 2023 22:33 2m 17s
fix: only make the first code action preferred ci #9: Commit 4723c3b pushed by thorimur
September 12, 2023 22:27 2m 53s try-these
try-these
September 12, 2023 22:27 2m 53s
chore: more test file formatting cleanup ci #8: Commit a32f7d7 pushed by thorimur
September 12, 2023 04:31 2m 16s try-these
try-these
September 12, 2023 04:31 2m 16s