Skip to content

Actions: aya-prover/aya-dev

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

resolve: add introduceDependencies for variables test #835: Pull request #1226 synchronize by mio-19
December 31, 2024 04:06 1m 55s variable
variable
December 31, 2024 04:06 1m 55s
Class resolver test #834: Pull request #1134 synchronize by ice1000
December 31, 2024 03:43 58s jit-class
jit-class
December 31, 2024 03:43 58s
merge: More readable negative test expects (#1266) test #833: Commit f89eb5e pushed by ice1000
December 31, 2024 03:42 2m 17s main
main
December 31, 2024 03:42 2m 17s
More readable negative test expects test #832: Pull request #1266 synchronize by ice1000
December 31, 2024 03:39 2m 7s ice1000
ice1000
December 31, 2024 03:39 2m 7s
More readable negative test expects test #831: Pull request #1266 opened by ice1000
December 31, 2024 03:33 54s ice1000
ice1000
December 31, 2024 03:33 54s
merge: Eliminate Unnecessary Shadow Warning (#1264) test #830: Commit efb8707 pushed by ice1000
December 31, 2024 02:47 1m 56s main
main
December 31, 2024 02:47 1m 56s
Eliminate Unnecessary Shadow Warning test #829: Pull request #1264 synchronize by ice1000
December 31, 2024 02:45 1m 53s elim-shadow
elim-shadow
December 31, 2024 02:45 1m 53s
Eliminate Unnecessary Shadow Warning test #828: Pull request #1264 synchronize by ice1000
December 31, 2024 02:20 1m 54s elim-shadow
elim-shadow
December 31, 2024 02:20 1m 54s
Eliminate Unnecessary Shadow Warning test #827: Pull request #1264 synchronize by HoshinoTented
December 30, 2024 13:39 2m 6s elim-shadow
elim-shadow
December 30, 2024 13:39 2m 6s
resolve: add introduceDependencies for variables test #826: Pull request #1226 synchronize by mio-19
December 30, 2024 10:01 1m 39s variable
variable
December 30, 2024 10:01 1m 39s
Eliminate Unnecessary Shadow Warning test #825: Pull request #1264 opened by HoshinoTented
December 29, 2024 15:53 1m 54s elim-shadow
elim-shadow
December 29, 2024 15:53 1m 54s
merge: Add elim for Simpl Indexed Type (#1263) test #824: Commit 50413bd pushed by ice1000
December 29, 2024 11:31 1m 54s main
main
December 29, 2024 11:31 1m 54s
Add elim for Simpl Indexed Type test #823: Pull request #1263 synchronize by HoshinoTented
December 29, 2024 08:29 2m 23s elim-data
elim-data
December 29, 2024 08:29 2m 23s
Add elim for Simpl Indexed Type test #822: Pull request #1263 synchronize by HoshinoTented
December 29, 2024 08:26 1m 45s elim-data
elim-data
December 29, 2024 08:26 1m 45s
Add elim for Simpl Indexed Type test #821: Pull request #1263 synchronize by HoshinoTented
December 28, 2024 19:02 1m 41s elim-data
elim-data
December 28, 2024 19:02 1m 41s
Add elim for Simpl Indexed Type test #820: Pull request #1263 opened by HoshinoTented
December 28, 2024 19:01 1m 36s elim-data
elim-data
December 28, 2024 19:01 1m 36s
resolve: add introduceDependencies for variables test #819: Pull request #1226 synchronize by mio-19
December 27, 2024 09:45 1m 55s variable
variable
December 27, 2024 09:45 1m 55s
resolve: add introduceDependencies for variables test #818: Pull request #1226 synchronize by mio-19
December 27, 2024 09:27 2m 2s variable
variable
December 27, 2024 09:27 2m 2s
resolve: add introduceDependencies for variables test #817: Pull request #1226 synchronize by mio-19
December 27, 2024 09:09 1m 39s variable
variable
December 27, 2024 09:09 1m 39s
resolve: add introduceDependencies for variables test #816: Pull request #1226 synchronize by mio-19
December 27, 2024 05:19 57s variable
variable
December 27, 2024 05:19 57s
resolve: add introduceDependencies for variables test #815: Pull request #1226 synchronize by mio-19
December 27, 2024 04:31 1m 44s variable
variable
December 27, 2024 04:31 1m 44s
merge: Properly initialize DiskLibraryOwner (#1262) test #814: Commit 4f6b39f pushed by ice1000
December 25, 2024 23:05 1m 49s main
main
December 25, 2024 23:05 1m 49s
Properly initialize DiskLibraryOwner test #813: Pull request #1262 synchronize by ice1000
December 25, 2024 22:51 1m 55s ice1000
ice1000
December 25, 2024 22:51 1m 55s
Properly initialize DiskLibraryOwner test #812: Pull request #1262 opened by ice1000
December 25, 2024 22:50 1m 53s ice1000
ice1000
December 25, 2024 22:50 1m 53s
merge: Let registerLibrary returns the loaded libraries (#1258) test #811: Commit fd7f9e8 pushed by ice1000
December 25, 2024 22:02 2m 5s main
main
December 25, 2024 22:02 2m 5s