Skip to content

Actions: aya-prover/aya-dev

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Only report unimported con when the con is no-arg test #793: Pull request #1253 opened by ice1000
December 22, 2024 01:55 1m 54s ice1000
ice1000
December 22, 2024 01:55 1m 54s
merge: Patch hoshino branch as a PR (#1252) test #792: Commit 4d67d48 pushed by ice1000
December 22, 2024 01:35 2m 1s main
main
December 22, 2024 01:35 2m 1s
Patch hoshino branch as a PR test #791: Pull request #1252 synchronize by ice1000
December 22, 2024 01:29 1m 48s patch-hoshino
patch-hoshino
December 22, 2024 01:29 1m 48s
Patch hoshino branch as a PR test #790: Pull request #1252 synchronize by ice1000
December 22, 2024 01:27 1m 47s patch-hoshino
patch-hoshino
December 22, 2024 01:27 1m 47s
Patch hoshino branch as a PR test #789: Pull request #1252 opened by ice1000
December 22, 2024 01:02 1m 45s patch-hoshino
patch-hoshino
December 22, 2024 01:02 1m 45s
Library additions (hoshino branch) test #788: Pull request #1251 opened by ice1000
December 22, 2024 00:47 1m 38s hoshino
hoshino
December 22, 2024 00:47 1m 38s
merge: Fix subtyping from path to pi (#1250) test #787: Commit d849d4d pushed by ice1000
December 22, 2024 00:18 1m 42s main
main
December 22, 2024 00:18 1m 42s
Fix subtyping from path to pi test #786: Pull request #1250 opened by ice1000
December 22, 2024 00:16 1m 44s hoshinoo
hoshinoo
December 22, 2024 00:16 1m 44s
merge: Fix #1243, improve suppress (#1248) test #785: Commit b56a2ba pushed by ice1000
December 21, 2024 22:24 1m 51s main
main
December 21, 2024 22:24 1m 51s
Fix #1243 test #784: Pull request #1248 synchronize by ice1000
December 21, 2024 22:20 1m 39s hoshinoo
hoshinoo
December 21, 2024 22:20 1m 39s
Fix #1243 test #783: Pull request #1248 synchronize by ice1000
December 21, 2024 22:12 1m 39s hoshinoo
hoshinoo
December 21, 2024 22:12 1m 39s
Fix #1243 test #782: Pull request #1248 synchronize by ice1000
December 21, 2024 22:01 1m 45s hoshinoo
hoshinoo
December 21, 2024 22:01 1m 45s
Fix #1243 test #781: Pull request #1248 synchronize by HoshinoTented
December 21, 2024 20:29 1m 55s hoshinoo
hoshinoo
December 21, 2024 20:29 1m 55s
Fix #1243 test #780: Pull request #1248 synchronize by HoshinoTented
December 21, 2024 20:26 1m 29s hoshinoo
hoshinoo
December 21, 2024 20:26 1m 29s
Fix #1243 test #779: Pull request #1248 opened by HoshinoTented
December 21, 2024 20:02 1m 16s hoshinoo
hoshinoo
December 21, 2024 20:02 1m 16s
merge: Report Error When Using Implicit Patterns with Eliminator (#1247) test #778: Commit 2893758 pushed by ice1000
December 21, 2024 19:51 1m 51s main
main
December 21, 2024 19:51 1m 51s
Report Error When Using Implicit Patterns with Eliminator test #777: Pull request #1247 synchronize by ice1000
December 21, 2024 19:49 1m 54s hoshinoo
hoshinoo
December 21, 2024 19:49 1m 54s
Report Error When Using Implicit Patterns with Eliminator test #776: Pull request #1247 synchronize by HoshinoTented
December 21, 2024 19:40 1m 50s hoshinoo
hoshinoo
December 21, 2024 19:40 1m 50s
Report Error When Using Implicit Patterns with Eliminator test #775: Pull request #1247 opened by HoshinoTented
December 21, 2024 19:36 1m 2s hoshinoo
hoshinoo
December 21, 2024 19:36 1m 2s
Support dependent types in variable test #774: Pull request #1226 synchronize by mio-19
December 21, 2024 05:03 59s variable
variable
December 21, 2024 05:03 59s
merge: Robustness (#1246) test #773: Commit 2f0c1cd pushed by ice1000
December 21, 2024 02:31 1m 47s main
main
December 21, 2024 02:31 1m 47s
Robustness test #772: Pull request #1246 opened by ice1000
December 21, 2024 02:28 1m 47s ice1000
ice1000
December 21, 2024 02:28 1m 47s
Support dependent types in variable test #771: Pull request #1226 synchronize by mio-19
December 21, 2024 02:20 1m 32s variable
variable
December 21, 2024 02:20 1m 32s
Support dependent types in variable test #770: Pull request #1226 synchronize by mio-19
December 21, 2024 00:09 1m 28s variable
variable
December 21, 2024 00:09 1m 28s
Support dependent types in variable test #769: Pull request #1226 synchronize by mio-19
December 20, 2024 23:41 1m 28s variable
variable
December 20, 2024 23:41 1m 28s