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

Initial partial element by KonjacSource commit message #821: Pull request #1321 opened by ice1000
February 13, 2025 21:13 12s partial-element
partial-element
February 13, 2025 21:13 12s
Code changed during plunch commit message #820: Pull request #1320 opened by ice1000
February 12, 2025 19:52 14s (/ω＼)
(/ω＼)
February 12, 2025 19:52 14s
More preparation for plunch commit message #819: Pull request #1318 opened by ice1000
February 12, 2025 14:19 17s ciallo
ciallo
February 12, 2025 14:19 17s
Preparation for PLunch talk commit message #818: Pull request #1316 opened by ice1000
February 12, 2025 06:25 17s profile
profile
February 12, 2025 06:25 17s
Use onEach and refactor some stream to view commit message #817: Pull request #1315 synchronize by ice1000
February 12, 2025 02:36 11s kala
kala
February 12, 2025 02:36 11s
Use onEach and refactor some stream to view commit message #816: Pull request #1315 synchronize by ice1000
February 12, 2025 02:35 11s kala
kala
February 12, 2025 02:35 11s
Use onEach and refactor some stream to view commit message #815: Pull request #1315 synchronize by ice1000
February 12, 2025 02:25 9s kala
kala
February 12, 2025 02:25 9s
Use onEach and refactor some stream to view commit message #814: Pull request #1315 synchronize by ice1000
February 12, 2025 02:23 12s kala
kala
February 12, 2025 02:23 12s
Use onEach and refactor some stream to view commit message #813: Pull request #1315 synchronize by ice1000
February 12, 2025 02:13 11s kala
kala
February 12, 2025 02:13 11s
Use onEach and refactor some stream to view commit message #812: Pull request #1315 opened by ice1000
February 11, 2025 23:26 12s kala
kala
February 11, 2025 23:26 12s
More lsp changes commit message #811: Pull request #1313 synchronize by HoshinoTented
February 11, 2025 18:17 12s more-lsp
more-lsp
February 11, 2025 18:17 12s
More lsp changes commit message #810: Pull request #1313 synchronize by HoshinoTented
February 11, 2025 10:09 11s more-lsp
more-lsp
February 11, 2025 10:09 11s
More lsp changes commit message #809: Pull request #1313 opened by HoshinoTented
February 11, 2025 09:36 13s more-lsp
more-lsp
February 11, 2025 09:36 13s
Move source code builder & TyckTest commit message #808: Pull request #1312 synchronize by ice1000
February 11, 2025 01:19 14s (≧∀≦)ゞ
(≧∀≦)ゞ
February 11, 2025 01:19 14s
Move source code builder & TyckTest commit message #807: Pull request #1312 synchronize by ice1000
February 11, 2025 01:17 13s (≧∀≦)ゞ
(≧∀≦)ゞ
February 11, 2025 01:17 13s
Move source code builder & TyckTest commit message #806: Pull request #1312 synchronize by ice1000
February 11, 2025 01:09 12s (≧∀≦)ゞ
(≧∀≦)ゞ
February 11, 2025 01:09 12s
Move source code builder & TyckTest commit message #805: Pull request #1312 synchronize by ice1000
February 11, 2025 01:06 11s (≧∀≦)ゞ
(≧∀≦)ゞ
February 11, 2025 01:06 11s
Move source code builder & TyckTest commit message #804: Pull request #1312 synchronize by ice1000
February 11, 2025 00:35 11s (≧∀≦)ゞ
(≧∀≦)ゞ
February 11, 2025 00:35 11s
Move source code builder & TyckTest commit message #803: Pull request #1312 synchronize by ice1000
February 11, 2025 00:30 12s (≧∀≦)ゞ
(≧∀≦)ゞ
February 11, 2025 00:30 12s
Move source code builder & TyckTest commit message #802: Pull request #1312 synchronize by ice1000
February 11, 2025 00:19 11s (≧∀≦)ゞ
(≧∀≦)ゞ
February 11, 2025 00:19 11s
Move source code builder & TyckTest commit message #801: Pull request #1312 synchronize by ice1000
February 11, 2025 00:11 18s (≧∀≦)ゞ
(≧∀≦)ゞ
February 11, 2025 00:11 18s
Move source code builder & TyckTest commit message #800: Pull request #1312 opened by ice1000
February 11, 2025 00:00 15s (≧∀≦)ゞ
(≧∀≦)ゞ
February 11, 2025 00:00 15s
Refactored tools to not depend on kala-collection-primitive commit message #799: Pull request #1311 opened by linxuanm
February 10, 2025 23:34 13s i-am-very-sad-cuz-tesla-said-my-hair-is-ugly
i-am-very-sad-cuz-tesla-said-my-hair-is-ugly
February 10, 2025 23:34 13s
ProjectOrFile and some other lsp changes, fix link in hacking.md commit message #798: Pull request #1310 opened by ice1000
February 10, 2025 21:10 17s more-lsp
more-lsp
February 10, 2025 21:10 17s
Add some symbol information and misc commit message #797: Pull request #1309 opened by HoshinoTented
February 8, 2025 11:59 11s jit-g
jit-g
February 8, 2025 11:59 11s