Skip to content

Actions: aya-prover/aya-dev

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge: Bug fix & slightly use more markdown doc comments (#1239) test #760: Commit 95a8304 pushed by ice1000
December 20, 2024 14:42 1m 40s main
main
December 20, 2024 14:42 1m 40s
Bug fix & slightly use more markdown doc comments test #759: Pull request #1239 opened by ice1000
December 20, 2024 14:40 1m 47s ice1000
ice1000
December 20, 2024 14:40 1m 47s
merge: Fix The Bug I Wrote (#1237) test #758: Commit e3f0839 pushed by ice1000
December 19, 2024 21:46 1m 47s main
main
December 19, 2024 21:46 1m 47s
Fix The Bug I Wrote test #757: Pull request #1237 synchronize by HoshinoTented
December 19, 2024 20:41 1m 54s hoshinoo
hoshinoo
December 19, 2024 20:41 1m 54s
Fix The Bug I Wrote test #756: Pull request #1237 opened by HoshinoTented
December 19, 2024 20:41 1m 55s hoshinoo
hoshinoo
December 19, 2024 20:41 1m 55s
merge: Fix Wrong Implementation of JitCon#selfTele (#1235) test #755: Commit 70893a5 pushed by ice1000
December 19, 2024 16:42 1m 41s main
main
December 19, 2024 16:42 1m 41s
Fix Wrong Implementation of JitCon#selfTele test #754: Pull request #1235 synchronize by HoshinoTented
December 19, 2024 16:36 1m 44s hoshinoo
hoshinoo
December 19, 2024 16:36 1m 44s
Fix Wrong Implementation of JitCon#selfTele test #753: Pull request #1235 opened by HoshinoTented
December 19, 2024 16:30 1m 43s hoshinoo
hoshinoo
December 19, 2024 16:30 1m 43s
merge: Release 0.36, upgrade to Java 22 (#1233) test #752: Commit d73b13d pushed by ice1000
December 18, 2024 03:36 2m 10s main
main
December 18, 2024 03:36 2m 10s
Release 0.36, upgrade to Java 22 test #751: Pull request #1233 synchronize by ice1000
December 18, 2024 03:34 2m 13s ice1000
ice1000
December 18, 2024 03:34 2m 13s
Release 0.36, upgrade to Java 22 test #750: Pull request #1233 synchronize by ice1000
December 18, 2024 03:20 1m 55s ice1000
ice1000
December 18, 2024 03:20 1m 55s
Release 0.36, upgrade to Java 22 test #749: Pull request #1233 synchronize by ice1000
December 18, 2024 03:04 2m 8s ice1000
ice1000
December 18, 2024 03:04 2m 8s
Release 0.36, upgrade to Java 22 test #748: Pull request #1233 synchronize by ice1000
December 18, 2024 02:58 2m 5s ice1000
ice1000
December 18, 2024 02:58 2m 5s
Release 0.36, upgrade to Java 22 test #747: Pull request #1233 synchronize by ice1000
December 18, 2024 02:53 1m 39s ice1000
ice1000
December 18, 2024 02:53 1m 39s
Release 0.36, upgrade to Java 22 test #746: Pull request #1233 synchronize by ice1000
December 18, 2024 02:46 1m 46s ice1000
ice1000
December 18, 2024 02:46 1m 46s
Release 0.36, upgrade to Java 22 test #745: Pull request #1233 opened by ice1000
December 18, 2024 02:25 2m 3s ice1000
ice1000
December 18, 2024 02:25 2m 3s
merge: Std lib updates (#1231) test #744: Commit 9cf2069 pushed by ice1000
December 18, 2024 00:39 1m 50s main
main
December 18, 2024 00:39 1m 50s
Std lib updates test #743: Pull request #1231 synchronize by ice1000
December 18, 2024 00:09 1m 41s hoshinoo
hoshinoo
December 18, 2024 00:09 1m 41s
Std lib updates test #742: Pull request #1231 synchronize by ice1000
December 18, 2024 00:04 1m 34s hoshinoo
hoshinoo
December 18, 2024 00:04 1m 34s
Std lib updates test #741: Pull request #1231 opened by ice1000
December 17, 2024 23:55 1m 21s hoshinoo
hoshinoo
December 17, 2024 23:55 1m 21s
merge: Fix JIT of matchy calls (#1230) test #740: Commit 6d061c9 pushed by ice1000
December 17, 2024 23:06 1m 41s main
main
December 17, 2024 23:06 1m 41s
Fix JIT of matchy calls test #739: Pull request #1230 synchronize by ice1000
December 17, 2024 23:03 1m 57s ice1000
ice1000
December 17, 2024 23:03 1m 57s
Fix JIT of matchy calls test #738: Pull request #1230 synchronize by ice1000
December 17, 2024 22:45 1m 19s ice1000
ice1000
December 17, 2024 22:45 1m 19s
Fix JIT of matchy calls test #737: Pull request #1230 synchronize by ice1000
December 17, 2024 22:45 1m 26s ice1000
ice1000
December 17, 2024 22:45 1m 26s
Fix JIT of matchy calls test #736: Pull request #1230 synchronize by ice1000
December 17, 2024 22:31 1m 33s ice1000
ice1000
December 17, 2024 22:31 1m 33s