Skip to content

Actions: aya-prover/aya-dev

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle-check.yaml
422 workflow runs
422 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor Module test #423: Pull request #1135 synchronize by HoshinoTented
October 29, 2024 00:25 2m 14s module-refactor
module-refactor
October 29, 2024 00:25 2m 14s
Refactor Module test #422: Pull request #1135 synchronize by HoshinoTented
October 29, 2024 00:05 2m 16s module-refactor
module-refactor
October 29, 2024 00:05 2m 16s
Refactor Module test #421: Pull request #1135 synchronize by HoshinoTented
October 28, 2024 23:56 2m 2s module-refactor
module-refactor
October 28, 2024 23:56 2m 2s
Refactor Module test #420: Pull request #1135 synchronize by HoshinoTented
October 27, 2024 06:06 2m 10s module-refactor
module-refactor
October 27, 2024 06:06 2m 10s
Refactor Module test #419: Pull request #1135 synchronize by HoshinoTented
October 24, 2024 07:15 1m 37s module-refactor
module-refactor
October 24, 2024 07:15 1m 37s
Refactor Module test #418: Pull request #1135 synchronize by HoshinoTented
October 23, 2024 19:15 1m 39s module-refactor
module-refactor
October 23, 2024 19:15 1m 39s
Refactor Module test #417: Pull request #1135 synchronize by HoshinoTented
October 23, 2024 18:49 1m 33s module-refactor
module-refactor
October 23, 2024 18:49 1m 33s
Refactor Module test #416: Pull request #1135 synchronize by HoshinoTented
October 22, 2024 18:36 1m 42s module-refactor
module-refactor
October 22, 2024 18:36 1m 42s
Refactor Module test #415: Pull request #1135 synchronize by HoshinoTented
October 22, 2024 18:17 1m 42s module-refactor
module-refactor
October 22, 2024 18:17 1m 42s
Refactor Module test #414: Pull request #1135 opened by HoshinoTented
October 22, 2024 10:34 1m 32s module-refactor
module-refactor
October 22, 2024 10:34 1m 32s
Jit class test #413: Pull request #1134 synchronize by HoshinoTented
September 6, 2024 02:30 2m 28s jit-class
jit-class
September 6, 2024 02:30 2m 28s
Jit class test #412: Pull request #1134 synchronize by HoshinoTented
August 27, 2024 03:31 1m 49s jit-class
jit-class
August 27, 2024 03:31 1m 49s
Jit class test #411: Pull request #1134 synchronize by HoshinoTented
August 8, 2024 05:14 1m 37s jit-class
jit-class
August 8, 2024 05:14 1m 37s
Jit class test #410: Pull request #1134 opened by ice1000
August 7, 2024 19:29 2m 28s jit-class
jit-class
August 7, 2024 19:29 2m 28s
merge: more progress on classes (#1129) test #409: Commit 5cecead pushed by ice1000
July 12, 2024 18:04 1m 56s main
main
July 12, 2024 18:04 1m 56s
Classes test #408: Pull request #1129 synchronize by ice1000
July 12, 2024 17:58 1m 53s classes
classes
July 12, 2024 17:58 1m 53s
Classes test #407: Pull request #1129 synchronize by ice1000
July 12, 2024 17:37 1m 28s classes
classes
July 12, 2024 17:37 1m 28s
Classes test #406: Pull request #1129 synchronize by ice1000
July 12, 2024 17:36 1m 34s classes
classes
July 12, 2024 17:36 1m 34s
Classes test #405: Pull request #1129 synchronize by ice1000
July 12, 2024 17:11 1m 30s classes
classes
July 12, 2024 17:11 1m 30s
Classes test #404: Pull request #1129 synchronize by HoshinoTented
July 11, 2024 12:04 1m 38s classes
classes
July 11, 2024 12:04 1m 38s
Classes test #403: Pull request #1129 synchronize by ice1000
July 9, 2024 22:52 1m 28s classes
classes
July 9, 2024 22:52 1m 28s
Classes test #402: Pull request #1129 synchronize by HoshinoTented
July 9, 2024 02:41 50s classes
classes
July 9, 2024 02:41 50s
Classes test #401: Pull request #1129 synchronize by ice1000
July 8, 2024 20:40 1m 34s classes
classes
July 8, 2024 20:40 1m 34s
Classes test #400: Pull request #1129 synchronize by ice1000
July 8, 2024 20:39 1m 30s classes
classes
July 8, 2024 20:39 1m 30s
merge: Coercive subtyping fixes cherry pick from classes (#1131) test #399: Commit e8cf3f8 pushed by ice1000
July 8, 2024 20:39 1m 41s main
main
July 8, 2024 20:39 1m 41s