Skip to content

Actions: thorimur/std4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,128 workflow run results
1,128 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #996: Scheduled
October 24, 2023 15:16 2s main
main
October 24, 2023 15:16 2s
Merge conflicts Merge conflicts #995: Scheduled
October 24, 2023 14:12 2s main
main
October 24, 2023 14:12 2s
Merge conflicts Merge conflicts #994: Scheduled
October 24, 2023 13:18 3s main
main
October 24, 2023 13:18 3s
Merge conflicts Merge conflicts #993: Scheduled
October 24, 2023 12:28 2s main
main
October 24, 2023 12:28 2s
Merge conflicts Merge conflicts #992: Scheduled
October 24, 2023 11:11 2s main
main
October 24, 2023 11:11 2s
Merge conflicts Merge conflicts #991: Scheduled
October 24, 2023 10:15 2s main
main
October 24, 2023 10:15 2s
Merge conflicts Merge conflicts #990: Scheduled
October 24, 2023 09:15 3s main
main
October 24, 2023 09:15 3s
Merge conflicts Merge conflicts #989: Scheduled
October 24, 2023 08:18 2s main
main
October 24, 2023 08:18 2s
Merge conflicts Merge conflicts #988: Scheduled
October 24, 2023 07:13 2s main
main
October 24, 2023 07:13 2s
Merge conflicts Merge conflicts #987: Scheduled
October 24, 2023 06:19 2s main
main
October 24, 2023 06:19 2s
Merge conflicts Merge conflicts #986: Scheduled
October 24, 2023 05:13 2s main
main
October 24, 2023 05:13 2s
Merge conflicts Merge conflicts #985: Scheduled
October 24, 2023 04:17 2s main
main
October 24, 2023 04:17 2s
Merge conflicts Merge conflicts #984: Scheduled
October 24, 2023 03:15 2s main
main
October 24, 2023 03:15 2s
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
Merge conflicts Merge conflicts #983: Scheduled
October 24, 2023 02:21 2s main
main
October 24, 2023 02:21 2s
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
Merge conflicts Merge conflicts #982: Scheduled
October 24, 2023 01:05 2s main
main
October 24, 2023 01:05 2s
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
Merge conflicts Merge conflicts #981: Scheduled
October 23, 2023 23:14 2s main
main
October 23, 2023 23:14 2s
Merge conflicts Merge conflicts #980: Scheduled
October 23, 2023 22:13 2s main
main
October 23, 2023 22:13 2s
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