Skip to content

Actions: aya-prover/aya-dev

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge: Kala 0.82 (#1324) test #1041: Commit ec865dd pushed by ice1000
February 14, 2025 00:52 1m 36s main
main
February 14, 2025 00:52 1m 36s
merge: Kala 0.82 (#1324) nightly #247: Commit ec865dd pushed by ice1000
February 14, 2025 00:52 3m 12s main
main
February 14, 2025 00:52 3m 12s
Kala 0.82 commit message #826: Pull request #1324 opened by ice1000
February 13, 2025 23:24 12s kala
kala
February 13, 2025 23:24 12s
Kala 0.82 test #1040: Pull request #1324 opened by ice1000
February 13, 2025 23:24 1m 29s kala
kala
February 13, 2025 23:24 1m 29s
merge: Rename keyword partial to nonterminating (#1323) nightly #246: Commit 4ba4c80 pushed by ice1000
February 13, 2025 21:55 3m 29s main
main
February 13, 2025 21:55 3m 29s
merge: Rename keyword partial to nonterminating (#1323) test #1039: Commit 4ba4c80 pushed by ice1000
February 13, 2025 21:55 1m 38s main
main
February 13, 2025 21:55 1m 38s
Rename keyword partial to nonterminating test #1038: Pull request #1323 opened by ice1000
February 13, 2025 21:54 1m 25s partial-element
partial-element
February 13, 2025 21:54 1m 25s
Rename keyword partial to nonterminating commit message #825: Pull request #1323 opened by ice1000
February 13, 2025 21:54 16s partial-element
partial-element
February 13, 2025 21:54 16s
merge: Initial partial element by KonjacSource (#1321) nightly #245: Commit d179dc2 pushed by ice1000
February 13, 2025 21:38 2m 40s main
main
February 13, 2025 21:38 2m 40s
merge: Initial partial element by KonjacSource (#1321) test #1037: Commit d179dc2 pushed by ice1000
February 13, 2025 21:38 1m 22s main
main
February 13, 2025 21:38 1m 22s
Initial partial element by KonjacSource test #1036: Pull request #1321 synchronize by ice1000
February 13, 2025 21:35 1m 29s partial-element
partial-element
February 13, 2025 21:35 1m 29s
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