Skip to content

Actions: tock/tock

tock-ci

Actions

Loading...

Showing runs from all workflows named tock-ci
502 workflow run results
502 workflow run results
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Merge #3447
tock-ci #8940: Commit 2141ec6 pushed by bors bot
May 26, 2023 22:51 23m 56s master
May 26, 2023 22:51 23m 56s
Merge pull request #3437 from tock/ppannuto-patch-2
tock-ci #8923: Commit 555353e pushed by bradjc
May 25, 2023 19:12 36m 50s master
May 25, 2023 19:12 36m 50s
Merge #3431
tock-ci #8907: Commit 37ce3b7 pushed by bors bot
May 24, 2023 21:51 22m 48s master
May 24, 2023 21:51 22m 48s
Merge pull request #3436 from lschuermann/dev/nix-shell-update-2023-0…
tock-ci #8864: Commit 100e0fb pushed by bradjc
May 18, 2023 16:01 32m 23s master
May 18, 2023 16:01 32m 23s
Merge #3430
tock-ci #8863: Commit 7ca40c8 pushed by bors bot
May 17, 2023 19:19 23m 6s master
May 17, 2023 19:19 23m 6s
Merge #3434
tock-ci #8861: Commit 6051a5e pushed by bors bot
May 17, 2023 18:54 25m 7s master
May 17, 2023 18:54 25m 7s
Merge #3312
tock-ci #8853: Commit 4a86e48 pushed by bors bot
May 12, 2023 16:41 23m 4s master
May 12, 2023 16:41 23m 4s
Merge pull request #3429 from lschuermann/notes/2023-04-28
tock-ci #8851: Commit 0ba2abf pushed by bradjc
May 11, 2023 21:08 25m 36s master
May 11, 2023 21:08 25m 36s
Merge #3422
tock-ci #8850: Commit 9f2e2f6 pushed by bors bot
May 11, 2023 21:04 22m 20s master
May 11, 2023 21:04 22m 20s
Merge pull request #3427 from hudson-ayers/notes-2023-04-21
tock-ci #8847: Commit a8c40d2 pushed by bradjc
May 10, 2023 21:57 22m 48s master
May 10, 2023 21:57 22m 48s
Merge pull request #3423 from tock/notes-2023-02-24
tock-ci #8846: Commit 6628877 pushed by bradjc
May 10, 2023 21:57 25m 38s master
May 10, 2023 21:57 25m 38s
Merge #3426
tock-ci #8844: Commit 55ea00d pushed by bors bot
May 10, 2023 03:19 23m 34s master
May 10, 2023 03:19 23m 34s
Merge #3360
tock-ci #8838: Commit 4d97363 pushed by bors bot
May 2, 2023 16:16 28m 22s master
May 2, 2023 16:16 28m 22s
Merge #3421
tock-ci #8827: Commit 23c5604 pushed by bors bot
April 25, 2023 15:50 25m 12s master
April 25, 2023 15:50 25m 12s
Merge pull request #3425 from tock/core-notes-2023-04-14
tock-ci #8825: Commit 886ec94 pushed by bradjc
April 25, 2023 15:21 26m 26s master
April 25, 2023 15:21 26m 26s
Merge #3411
tock-ci #8820: Commit 0503b8d pushed by bors bot
April 19, 2023 21:01 27m 20s master
April 19, 2023 21:01 27m 20s
Merge #3407
tock-ci #8817: Commit 1406643 pushed by bors bot
April 18, 2023 22:03 23m 59s master
April 18, 2023 22:03 23m 59s
Merge #3306
tock-ci #8815: Commit f9ff44c pushed by bors bot
April 18, 2023 21:36 28m 37s master
April 18, 2023 21:36 28m 37s
Merge pull request #3402 from hudson-ayers/comment-update
tock-ci #8813: Commit 4dd770c pushed by bradjc
April 18, 2023 21:00 26m 41s master
April 18, 2023 21:00 26m 41s
Merge #3420 #3424
tock-ci #8810: Commit 56f7135 pushed by bors bot
April 17, 2023 22:34 30m 15s master
April 17, 2023 22:34 30m 15s
Merge #3408
tock-ci #8808: Commit 86631f3 pushed by bors bot
April 17, 2023 22:10 25m 0s master
April 17, 2023 22:10 25m 0s
Merge pull request #3418 from tock/core-notes-2023-03-31
tock-ci #8795: Commit 4d753d4 pushed by bradjc
April 17, 2023 20:10 27m 40s master
April 17, 2023 20:10 27m 40s
Merge #3327
tock-ci #8794: Commit 5a42ae9 pushed by bors bot
April 17, 2023 17:53 27m 31s master
April 17, 2023 17:53 27m 31s
Merge #3317
tock-ci #8767: Commit 9496135 pushed by bors bot
April 1, 2023 02:12 30m 30s master
April 1, 2023 02:12 30m 30s
Merge #3416
tock-ci #8761: Commit 8e38cdc pushed by bors bot
March 31, 2023 18:28 23m 32s master
March 31, 2023 18:28 23m 32s
ProTip! You can narrow down the results and go further in time using created:<2023-03-31 or the other filters available.