Skip to content

Actions: aya-prover/aya-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,893 workflow runs
1,893 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial partial element by KonjacSource commit message #824: Pull request #1321 synchronize by ice1000
February 13, 2025 21:35 13s partial-element
partial-element
February 13, 2025 21:35 13s
Initial partial element by KonjacSource commit message #823: Pull request #1321 synchronize by ice1000
February 13, 2025 21:32 17s partial-element
partial-element
February 13, 2025 21:32 17s
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 commit message #822: Pull request #1321 synchronize by ice1000
February 13, 2025 21:21 16s partial-element
partial-element
February 13, 2025 21:21 16s
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 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
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
merge: Code changed during plunch (#1320) nightly #244: Commit 1c34859 pushed by ice1000
February 12, 2025 20:20 2m 41s main
main
February 12, 2025 20:20 2m 41s
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
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) nightly #243: Commit 60e1f8c pushed by ice1000
February 12, 2025 14:21 2m 40s main
main
February 12, 2025 14:21 2m 40s
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 commit message #819: Pull request #1318 opened by ice1000
February 12, 2025 14:19 17s ciallo
ciallo
February 12, 2025 14:19 17s
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
merge: Preparation for PLunch talk (#1316) nightly #242: Commit 0b5a833 pushed by ice1000
February 12, 2025 06:28 2m 48s main
main
February 12, 2025 06:28 2m 48s
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
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) nightly #241: Commit b7f09bd pushed by ice1000
February 12, 2025 02:37 3m 20s main
main
February 12, 2025 02:37 3m 20s
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 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 test #1024: Pull request #1315 synchronize by ice1000
February 12, 2025 02:35 1m 38s kala
kala
February 12, 2025 02:35 1m 38s