Skip to content

Actions: aya-prover/aya-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,051 workflow runs
2,051 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implementing LSP Completion commit message #899: Pull request #1352 synchronize by HoshinoTented
April 26, 2025 12:17 14s lsp-completion
lsp-completion
April 26, 2025 12:17 14s
Implementing LSP Completion test #1130: Pull request #1352 synchronize by HoshinoTented
April 26, 2025 12:17 1m 57s lsp-completion
lsp-completion
April 26, 2025 12:17 1m 57s
Implementing LSP Completion test #1129: Pull request #1352 opened by HoshinoTented
April 26, 2025 11:20 1m 48s lsp-completion
lsp-completion
April 26, 2025 11:20 1m 48s
Implementing LSP Completion commit message #898: Pull request #1352 opened by HoshinoTented
April 26, 2025 11:20 13s lsp-completion
lsp-completion
April 26, 2025 11:20 13s
merge: Use gradle test suite (#1351) nightly #263: Commit e2cdfdf pushed by ice1000
April 21, 2025 19:56 3m 49s main
main
April 21, 2025 19:56 3m 49s
merge: Use gradle test suite (#1351) test #1128: Commit e2cdfdf pushed by ice1000
April 21, 2025 19:56 2m 11s main
main
April 21, 2025 19:56 2m 11s
Use gradle test suite commit message #897: Pull request #1351 synchronize by ice1000
April 21, 2025 19:53 9s testsuite
testsuite
April 21, 2025 19:53 9s
Use gradle test suite test #1127: Pull request #1351 synchronize by ice1000
April 21, 2025 19:53 2m 14s testsuite
testsuite
April 21, 2025 19:53 2m 14s
Use gradle test suite commit message #896: Pull request #1351 synchronize by ice1000
April 21, 2025 19:49 9s testsuite
testsuite
April 21, 2025 19:49 9s
Use gradle test suite test #1126: Pull request #1351 synchronize by ice1000
April 21, 2025 19:49 2m 5s testsuite
testsuite
April 21, 2025 19:49 2m 5s
Use gradle test suite test #1125: Pull request #1351 opened by ice1000
April 21, 2025 19:43 2m 21s testsuite
testsuite
April 21, 2025 19:43 2m 21s
Use gradle test suite commit message #895: Pull request #1351 opened by ice1000
April 21, 2025 19:43 12s testsuite
testsuite
April 21, 2025 19:43 12s
Clean up tests with tools-test commit message #894: Pull request #1350 opened by linxuanm
April 20, 2025 09:11 9s tools-test
tools-test
April 20, 2025 09:11 9s
Clean up tests with tools-test test #1124: Pull request #1350 opened by linxuanm
April 20, 2025 09:11 2m 7s tools-test
tools-test
April 20, 2025 09:11 2m 7s
merge: Release 0.38 (#1348) nightly #262: Commit 06e151a pushed by ice1000
April 20, 2025 00:45 3m 20s main
main
April 20, 2025 00:45 3m 20s
merge: Release 0.38 (#1348) test #1123: Commit 06e151a pushed by ice1000
April 20, 2025 00:45 2m 5s main
main
April 20, 2025 00:45 2m 5s
Release 0.38 test #1122: Pull request #1348 synchronize by ice1000
April 20, 2025 00:39 2m 9s release
release
April 20, 2025 00:39 2m 9s
Release 0.38 commit message #893: Pull request #1348 synchronize by ice1000
April 20, 2025 00:39 11s release
release
April 20, 2025 00:39 11s
Release 0.38 test #1121: Pull request #1348 opened by ice1000
April 20, 2025 00:34 2m 3s release
release
April 20, 2025 00:34 2m 3s
Release 0.38 commit message #892: Pull request #1348 opened by ice1000
April 20, 2025 00:34 9s release
release
April 20, 2025 00:34 9s
merge: Cherry-pick from lsp-completion (#1347) test #1120: Commit 69111a5 pushed by ice1000
April 19, 2025 23:26 2m 10s main
main
April 19, 2025 23:26 2m 10s
merge: Cherry-pick from lsp-completion (#1347) nightly #261: Commit 69111a5 pushed by ice1000
April 19, 2025 23:26 3m 6s main
main
April 19, 2025 23:26 3m 6s
Cherry-pick from lsp-completion test #1119: Pull request #1347 synchronize by ice1000
April 19, 2025 23:24 2m 7s cp-xyy
cp-xyy
April 19, 2025 23:24 2m 7s
Cherry-pick from lsp-completion commit message #891: Pull request #1347 synchronize by ice1000
April 19, 2025 23:24 9s cp-xyy
cp-xyy
April 19, 2025 23:24 9s
Cherry-pick from lsp-completion commit message #890: Pull request #1347 synchronize by ice1000
April 19, 2025 23:22 8s cp-xyy
cp-xyy
April 19, 2025 23:22 8s