Skip to content

Actions: aya-prover/aya-dev

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix a bug in literate code generation test #804: Pull request #1257 opened by ice1000
December 22, 2024 08:37 1m 50s ice1000
ice1000
December 22, 2024 08:37 1m 50s
merge: Allow injecting the literate output with datetime info (#1256) test #803: Commit 3ca9f15 pushed by ice1000
December 22, 2024 08:19 2m 4s main
main
December 22, 2024 08:19 2m 4s
Allow injecting the literate output with datetime info test #802: Pull request #1256 synchronize by ice1000
December 22, 2024 08:13 1m 48s ice1000
ice1000
December 22, 2024 08:13 1m 48s
Allow injecting the literate output with datetime info test #801: Pull request #1256 synchronize by ice1000
December 22, 2024 08:07 1m 58s ice1000
ice1000
December 22, 2024 08:07 1m 58s
Support dependent types in variable test #800: Pull request #1226 synchronize by mio-19
December 22, 2024 08:05 1m 17s variable
variable
December 22, 2024 08:05 1m 17s
Allow injecting the literate output with datetime info test #799: Pull request #1256 synchronize by ice1000
December 22, 2024 07:54 1m 40s ice1000
ice1000
December 22, 2024 07:54 1m 40s
Allow injecting the literate output with datetime info test #798: Pull request #1256 synchronize by ice1000
December 22, 2024 07:50 1m 44s ice1000
ice1000
December 22, 2024 07:50 1m 44s
Allow injecting the literate output with datetime info test #797: Pull request #1256 synchronize by ice1000
December 22, 2024 07:50 1m 8s ice1000
ice1000
December 22, 2024 07:50 1m 8s
Allow injecting the literate output with datetime info test #796: Pull request #1256 synchronize by ice1000
December 22, 2024 07:49 1m 7s ice1000
ice1000
December 22, 2024 07:49 1m 7s
Allow injecting the literate output with datetime info test #795: Pull request #1256 opened by ice1000
December 22, 2024 07:40 1m 5s ice1000
ice1000
December 22, 2024 07:40 1m 5s
merge: Only report unimported con when the con is no-arg (#1253) test #794: Commit d55a7e5 pushed by ice1000
December 22, 2024 02:03 1m 49s main
main
December 22, 2024 02:03 1m 49s
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