Skip to content

Actions: aya-prover/aya-dev

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge: Kala 0.82 (#1324) test #1041: Commit ec865dd pushed by ice1000
February 14, 2025 00:52 1m 36s main
main
February 14, 2025 00:52 1m 36s
Kala 0.82 test #1040: Pull request #1324 opened by ice1000
February 13, 2025 23:24 1m 29s kala
kala
February 13, 2025 23:24 1m 29s
merge: Rename keyword partial to nonterminating (#1323) test #1039: Commit 4ba4c80 pushed by ice1000
February 13, 2025 21:55 1m 38s main
main
February 13, 2025 21:55 1m 38s
Rename keyword partial to nonterminating test #1038: Pull request #1323 opened by ice1000
February 13, 2025 21:54 1m 25s partial-element
partial-element
February 13, 2025 21:54 1m 25s
merge: Initial partial element by KonjacSource (#1321) test #1037: Commit d179dc2 pushed by ice1000
February 13, 2025 21:38 1m 22s main
main
February 13, 2025 21:38 1m 22s
Initial partial element by KonjacSource test #1036: Pull request #1321 synchronize by ice1000
February 13, 2025 21:35 1m 29s partial-element
partial-element
February 13, 2025 21:35 1m 29s
Initial partial element by KonjacSource test #1035: Pull request #1321 synchronize by ice1000
February 13, 2025 21:32 1m 31s partial-element
partial-element
February 13, 2025 21:32 1m 31s
Initial partial element by KonjacSource test #1034: Pull request #1321 synchronize by ice1000
February 13, 2025 21:21 1m 38s partial-element
partial-element
February 13, 2025 21:21 1m 38s
Initial partial element by KonjacSource test #1033: Pull request #1321 opened by ice1000
February 13, 2025 21:13 1m 30s partial-element
partial-element
February 13, 2025 21:13 1m 30s
merge: Code changed during plunch (#1320) test #1032: Commit 1c34859 pushed by ice1000
February 12, 2025 20:20 1m 38s main
main
February 12, 2025 20:20 1m 38s
Code changed during plunch test #1031: Pull request #1320 opened by ice1000
February 12, 2025 19:52 1m 33s (/ω＼)
(/ω＼)
February 12, 2025 19:52 1m 33s
merge: More preparation for plunch (#1318) test #1030: Commit 60e1f8c pushed by ice1000
February 12, 2025 14:21 1m 43s main
main
February 12, 2025 14:21 1m 43s
More preparation for plunch test #1029: Pull request #1318 opened by ice1000
February 12, 2025 14:19 1m 36s ciallo
ciallo
February 12, 2025 14:19 1m 36s
merge: Preparation for PLunch talk (#1316) test #1028: Commit 0b5a833 pushed by ice1000
February 12, 2025 06:28 3m 21s main
main
February 12, 2025 06:28 3m 21s
Preparation for PLunch talk test #1027: Pull request #1316 opened by ice1000
February 12, 2025 06:25 1m 39s profile
profile
February 12, 2025 06:25 1m 39s
merge: Use onEach and refactor some stream to view (#1315) test #1026: Commit b7f09bd pushed by ice1000
February 12, 2025 02:37 1m 42s main
main
February 12, 2025 02:37 1m 42s
Use onEach and refactor some stream to view test #1025: Pull request #1315 synchronize by ice1000
February 12, 2025 02:36 1m 42s kala
kala
February 12, 2025 02:36 1m 42s
Use onEach and refactor some stream to view test #1024: Pull request #1315 synchronize by ice1000
February 12, 2025 02:35 1m 38s kala
kala
February 12, 2025 02:35 1m 38s
Use onEach and refactor some stream to view test #1023: Pull request #1315 synchronize by ice1000
February 12, 2025 02:25 1m 23s kala
kala
February 12, 2025 02:25 1m 23s
Use onEach and refactor some stream to view test #1022: Pull request #1315 synchronize by ice1000
February 12, 2025 02:23 1m 15s kala
kala
February 12, 2025 02:23 1m 15s
Use onEach and refactor some stream to view test #1021: Pull request #1315 synchronize by ice1000
February 12, 2025 02:13 1m 28s kala
kala
February 12, 2025 02:13 1m 28s
Use onEach and refactor some stream to view test #1020: Pull request #1315 opened by ice1000
February 11, 2025 23:26 1m 10s kala
kala
February 11, 2025 23:26 1m 10s
merge: More lsp changes (#1313) test #1019: Commit 37e8497 pushed by ice1000
February 11, 2025 23:03 1m 27s main
main
February 11, 2025 23:03 1m 27s
More lsp changes test #1018: Pull request #1313 synchronize by HoshinoTented
February 11, 2025 18:17 1m 30s more-lsp
more-lsp
February 11, 2025 18:17 1m 30s
More lsp changes test #1017: Pull request #1313 synchronize by HoshinoTented
February 11, 2025 10:09 1m 56s more-lsp
more-lsp
February 11, 2025 10:09 1m 56s