Skip to content

Actions: aya-prover/aya-dev

Actions

commit message

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
commit-check.yaml
808 workflow runs
808 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Note: locally-nameless.md commit message #921: Pull request #1356 opened by ice1000
May 3, 2025 23:16 8s cp
cp
May 3, 2025 23:16 8s
Let term commit message #920: Pull request #1330 synchronize by ice1000
May 3, 2025 23:16 12s let-term
let-term
May 3, 2025 23:16 12s
Clean up tests with tools-test commit message #919: Pull request #1350 synchronize by ice1000
May 3, 2025 23:10 11s tools-test
tools-test
May 3, 2025 23:10 11s
Implementing LSP Completion commit message #918: Pull request #1352 synchronize by ice1000
May 3, 2025 23:05 12s lsp-completion
lsp-completion
May 3, 2025 23:05 12s
Implementing LSP Completion commit message #917: Pull request #1352 synchronize by ice1000
May 3, 2025 23:05 9s lsp-completion
lsp-completion
May 3, 2025 23:05 9s
Implementing LSP Completion commit message #916: Pull request #1352 synchronize by ice1000
May 3, 2025 23:00 11s lsp-completion
lsp-completion
May 3, 2025 23:00 11s
Implementing LSP Completion commit message #915: Pull request #1352 synchronize by ice1000
May 3, 2025 22:51 9s lsp-completion
lsp-completion
May 3, 2025 22:51 9s
Implementing LSP Completion commit message #914: Pull request #1352 synchronize by ice1000
May 3, 2025 22:50 9s lsp-completion
lsp-completion
May 3, 2025 22:50 9s
Implementing LSP Completion commit message #913: Pull request #1352 synchronize by ice1000
May 3, 2025 22:46 11s lsp-completion
lsp-completion
May 3, 2025 22:46 11s
Implementing LSP Completion commit message #912: Pull request #1352 synchronize by ice1000
May 3, 2025 22:45 10s lsp-completion
lsp-completion
May 3, 2025 22:45 10s
Implementing LSP Completion commit message #911: Pull request #1352 synchronize by ice1000
May 3, 2025 22:29 12s lsp-completion
lsp-completion
May 3, 2025 22:29 12s
Implementing LSP Completion commit message #910: Pull request #1352 synchronize by ice1000
May 3, 2025 22:24 15s lsp-completion
lsp-completion
May 3, 2025 22:24 15s
PR to PR commit message #909: Pull request #1354 opened by ice1000
May 3, 2025 19:55 10s pr
pr
May 3, 2025 19:55 10s
Implementing LSP Completion commit message #908: Pull request #1352 synchronize by ice1000
May 3, 2025 17:29 8s lsp-completion
lsp-completion
May 3, 2025 17:29 8s
Context Walker and CompletionItem commit message #907: Pull request #1353 opened by ice1000
May 3, 2025 17:26 11s alan-walker
alan-walker
May 3, 2025 17:26 11s
Implementing LSP Completion commit message #906: Pull request #1352 synchronize by ice1000
May 3, 2025 16:08 10s lsp-completion
lsp-completion
May 3, 2025 16:08 10s
Implementing LSP Completion commit message #905: Pull request #1352 synchronize by ice1000
May 3, 2025 16:07 11s lsp-completion
lsp-completion
May 3, 2025 16:07 11s
Implementing LSP Completion commit message #904: Pull request #1352 synchronize by ice1000
May 3, 2025 15:59 12s lsp-completion
lsp-completion
May 3, 2025 15:59 12s
Implementing LSP Completion commit message #903: Pull request #1352 synchronize by HoshinoTented
May 3, 2025 15:17 9s lsp-completion
lsp-completion
May 3, 2025 15:17 9s
Implementing LSP Completion commit message #902: Pull request #1352 synchronize by HoshinoTented
April 29, 2025 13:46 10s lsp-completion
lsp-completion
April 29, 2025 13:46 10s
Implementing LSP Completion commit message #901: Pull request #1352 synchronize by HoshinoTented
April 29, 2025 08:35 12s lsp-completion
lsp-completion
April 29, 2025 08:35 12s
Implementing LSP Completion commit message #900: Pull request #1352 synchronize by HoshinoTented
April 27, 2025 02:08 11s lsp-completion
lsp-completion
April 27, 2025 02:08 11s
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 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
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