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

merge: locally-nameless.md (#1356) nightly #266: Commit 8aa2619 pushed by ice1000
May 3, 2025 23:19 3m 2s main
main
May 3, 2025 23:19 3m 2s
merge: locally-nameless.md (#1356) test #1155: Commit 8aa2619 pushed by ice1000
May 3, 2025 23:19 2m 10s main
main
May 3, 2025 23:19 2m 10s
Note: locally-nameless.md test #1154: Pull request #1356 opened by ice1000
May 3, 2025 23:16 2m 6s cp
cp
May 3, 2025 23:16 2m 6s
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
Let term test #1153: Pull request #1330 synchronize by ice1000
May 3, 2025 23:16 1m 31s let-term
let-term
May 3, 2025 23:16 1m 31s
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
Clean up tests with tools-test test #1152: Pull request #1350 synchronize by ice1000
May 3, 2025 23:10 2m 7s tools-test
tools-test
May 3, 2025 23:10 2m 7s
merge: Implementing LSP Completion (#1352) nightly #265: Commit cfde842 pushed by ice1000
May 3, 2025 23:09 3m 10s main
main
May 3, 2025 23:09 3m 10s
merge: Implementing LSP Completion (#1352) test #1151: Commit cfde842 pushed by ice1000
May 3, 2025 23:09 1m 59s main
main
May 3, 2025 23:09 1m 59s
Implementing LSP Completion test #1150: Pull request #1352 synchronize by ice1000
May 3, 2025 23:05 2m 12s lsp-completion
lsp-completion
May 3, 2025 23:05 2m 12s
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 test #1149: Pull request #1352 synchronize by ice1000
May 3, 2025 23:05 1m 24s lsp-completion
lsp-completion
May 3, 2025 23:05 1m 24s
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 test #1148: Pull request #1352 synchronize by ice1000
May 3, 2025 23:00 1m 18s lsp-completion
lsp-completion
May 3, 2025 23:00 1m 18s
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 test #1147: Pull request #1352 synchronize by ice1000
May 3, 2025 22:51 2m 12s lsp-completion
lsp-completion
May 3, 2025 22:51 2m 12s
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 test #1146: Pull request #1352 synchronize by ice1000
May 3, 2025 22:50 2m 8s lsp-completion
lsp-completion
May 3, 2025 22:50 2m 8s
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 test #1145: Pull request #1352 synchronize by ice1000
May 3, 2025 22:46 2m 16s lsp-completion
lsp-completion
May 3, 2025 22:46 2m 16s
Implementing LSP Completion test #1144: Pull request #1352 synchronize by ice1000
May 3, 2025 22:45 2m 7s lsp-completion
lsp-completion
May 3, 2025 22:45 2m 7s
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