Skip to content

Actions: aya-prover/aya-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,051 workflow runs
2,051 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge: Normalize types (#1055) test #185: Commit 206fbcd pushed by ice1000
May 30, 2024 00:53 1m 26s main
main
May 30, 2024 00:53 1m 26s
Normalize types commit message #147: Pull request #1055 opened by ice1000
May 30, 2024 00:52 15s tyck
tyck
May 30, 2024 00:52 15s
Normalize types test #184: Pull request #1055 opened by ice1000
May 30, 2024 00:52 1m 44s tyck
tyck
May 30, 2024 00:52 1m 44s
merge: Release v0.31 (#1054) test #183: Commit c417b76 pushed by ice1000
May 29, 2024 22:26 6m 2s main
main
May 29, 2024 22:26 6m 2s
merge: Release v0.31 (#1054) nightly #60: Commit c417b76 pushed by ice1000
May 29, 2024 22:26 5m 17s main
main
May 29, 2024 22:26 5m 17s
Release v0.31 commit message #146: Pull request #1054 opened by ice1000
May 29, 2024 22:21 7m 34s release
release
May 29, 2024 22:21 7m 34s
Release v0.31 test #182: Pull request #1054 opened by ice1000
May 29, 2024 22:21 9m 2s release
release
May 29, 2024 22:21 9m 2s
merge: Trying to make library deserialization work (#1053) nightly #59: Commit b435c86 pushed by ice1000
May 29, 2024 21:03 2m 37s main
main
May 29, 2024 21:03 2m 37s
merge: Trying to make library deserialization work (#1053) test #181: Commit b435c86 pushed by ice1000
May 29, 2024 21:03 1m 29s main
main
May 29, 2024 21:03 1m 29s
Trying to make library deserialization work test #180: Pull request #1053 synchronize by ice1000
May 29, 2024 20:59 1m 29s thorsten
thorsten
May 29, 2024 20:59 1m 29s
Trying to make library deserialization work commit message #145: Pull request #1053 synchronize by ice1000
May 29, 2024 20:59 13s thorsten
thorsten
May 29, 2024 20:59 13s
Trying to make library deserialization work test #179: Pull request #1053 opened by ice1000
May 29, 2024 20:40 1m 24s thorsten
thorsten
May 29, 2024 20:40 1m 24s
Trying to make library deserialization work commit message #144: Pull request #1053 opened by ice1000
May 29, 2024 20:40 11s thorsten
thorsten
May 29, 2024 20:40 11s
merge: Extract Name Serialization Methods from AbstractSerializer (#1… nightly #58: Commit 75b5ddf pushed by ice1000
May 29, 2024 09:28 2m 43s main
main
May 29, 2024 09:28 2m 43s
merge: Extract Name Serialization Methods from AbstractSerializer (#1… test #178: Commit 75b5ddf pushed by ice1000
May 29, 2024 09:28 1m 35s main
main
May 29, 2024 09:28 1m 35s
Extract Name Serialization Methods from AbstractSerializer test #177: Pull request #1052 synchronize by HoshinoTented
May 29, 2024 09:25 1m 28s jit-name
jit-name
May 29, 2024 09:25 1m 28s
Extract Name Serialization Methods from AbstractSerializer commit message #143: Pull request #1052 synchronize by HoshinoTented
May 29, 2024 09:25 12s jit-name
jit-name
May 29, 2024 09:25 12s
Extract Name Serialization Methods from AbstractSerializer test #176: Pull request #1052 opened by HoshinoTented
May 29, 2024 09:22 1m 22s jit-name
jit-name
May 29, 2024 09:22 1m 22s
Extract Name Serialization Methods from AbstractSerializer commit message #142: Pull request #1052 opened by HoshinoTented
May 29, 2024 09:22 16s jit-name
jit-name
May 29, 2024 09:22 16s
merge: More library testing (#1051) nightly #57: Commit 1214dbd pushed by ice1000
May 29, 2024 08:42 2m 34s main
main
May 29, 2024 08:42 2m 34s
merge: More library testing (#1051) test #175: Commit 1214dbd pushed by ice1000
May 29, 2024 08:42 1m 33s main
main
May 29, 2024 08:42 1m 33s
More library testing commit message #141: Pull request #1051 synchronize by ice1000
May 29, 2024 08:37 15s thorsten
thorsten
May 29, 2024 08:37 15s
More library testing test #174: Pull request #1051 synchronize by ice1000
May 29, 2024 08:37 1m 32s thorsten
thorsten
May 29, 2024 08:37 1m 32s
More library testing test #173: Pull request #1051 opened by ice1000
May 29, 2024 08:28 1m 14s thorsten
thorsten
May 29, 2024 08:28 1m 14s
More library testing commit message #140: Pull request #1051 opened by ice1000
May 29, 2024 08:28 14s thorsten
thorsten
May 29, 2024 08:28 14s
ProTip! You can narrow down the results and go further in time using created:<2024-05-29 or the other filters available.