Skip to content

Actions: thorimur/std4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
703 workflow run results
703 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge conflicts Merge conflicts #979: Scheduled
October 23, 2023 21:12 2s main
main
October 23, 2023 21:12 2s
Merge conflicts Merge conflicts #978: Scheduled
October 23, 2023 20:13 2s main
main
October 23, 2023 20:13 2s
Merge conflicts Merge conflicts #977: Scheduled
October 23, 2023 19:11 3s main
main
October 23, 2023 19:11 3s
Merge conflicts Merge conflicts #976: Scheduled
October 23, 2023 18:18 3s main
main
October 23, 2023 18:18 3s
Merge conflicts Merge conflicts #975: Scheduled
October 23, 2023 17:11 2s main
main
October 23, 2023 17:11 2s
Merge conflicts Merge conflicts #974: Scheduled
October 23, 2023 16:18 3s main
main
October 23, 2023 16:18 3s
Merge conflicts Merge conflicts #973: Scheduled
October 23, 2023 15:14 3s main
main
October 23, 2023 15:14 3s
Merge conflicts Merge conflicts #972: Scheduled
October 23, 2023 14:14 3s main
main
October 23, 2023 14:14 3s
Merge conflicts Merge conflicts #971: Scheduled
October 23, 2023 13:18 3s main
main
October 23, 2023 13:18 3s
Merge conflicts Merge conflicts #970: Scheduled
October 23, 2023 12:29 3s main
main
October 23, 2023 12:29 3s
Merge conflicts Merge conflicts #969: Scheduled
October 23, 2023 11:12 2s main
main
October 23, 2023 11:12 2s
Merge conflicts Merge conflicts #968: Scheduled
October 23, 2023 10:16 2s main
main
October 23, 2023 10:16 2s
Merge conflicts Merge conflicts #967: Scheduled
October 23, 2023 09:15 2s main
main
October 23, 2023 09:15 2s
Merge conflicts Merge conflicts #966: Scheduled
October 23, 2023 08:19 2s main
main
October 23, 2023 08:19 2s
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
Merge conflicts Merge conflicts #965: Scheduled
October 23, 2023 07:13 2s main
main
October 23, 2023 07:13 2s
Merge conflicts Merge conflicts #964: Scheduled
October 23, 2023 06:20 2s main
main
October 23, 2023 06:20 2s
Merge conflicts Merge conflicts #963: Scheduled
October 23, 2023 05:13 2s main
main
October 23, 2023 05:13 2s
Merge conflicts Merge conflicts #962: Scheduled
October 23, 2023 04:17 2s main
main
October 23, 2023 04:17 2s
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