Skip to content

Actions: aya-prover/aya-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
956 workflow runs
956 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fancier readme commit message #230: Pull request #1098 synchronize by ice1000
June 5, 2024 20:12 11s misc
misc
June 5, 2024 20:12 11s
Fancier readme test #300: Pull request #1098 opened by ice1000
June 5, 2024 20:08 1m 35s misc
misc
June 5, 2024 20:08 1m 35s
Fancier readme commit message #229: Pull request #1098 opened by ice1000
June 5, 2024 20:08 12s misc
misc
June 5, 2024 20:08 12s
merge: Make serialized code substantially faster (#1097) nightly #103: Commit 95788a1 pushed by ice1000
June 5, 2024 16:08 2m 46s main
main
June 5, 2024 16:08 2m 46s
merge: Make serialized code substantially faster (#1097) test #299: Commit 95788a1 pushed by ice1000
June 5, 2024 16:08 1m 33s main
main
June 5, 2024 16:08 1m 33s
Make serialized code substantially faster commit message #228: Pull request #1097 synchronize by ice1000
June 5, 2024 16:07 14s daftpunk
daftpunk
June 5, 2024 16:07 14s
Make serialized code substantially faster test #298: Pull request #1097 synchronize by ice1000
June 5, 2024 16:07 1m 40s daftpunk
daftpunk
June 5, 2024 16:07 1m 40s
Make serialized code substantially faster test #297: Pull request #1097 synchronize by ice1000
June 5, 2024 16:02 1m 44s daftpunk
daftpunk
June 5, 2024 16:02 1m 44s
Make serialized code substantially faster commit message #227: Pull request #1097 synchronize by ice1000
June 5, 2024 16:02 16s daftpunk
daftpunk
June 5, 2024 16:02 16s
Make serialized code substantially faster test #296: Pull request #1097 synchronize by ice1000
June 5, 2024 15:58 58s daftpunk
daftpunk
June 5, 2024 15:58 58s
Make serialized code substantially faster commit message #226: Pull request #1097 synchronize by ice1000
June 5, 2024 15:58 11s daftpunk
daftpunk
June 5, 2024 15:58 11s
Make serialized code substantially faster test #295: Pull request #1097 opened by ice1000
June 5, 2024 15:57 1m 19s daftpunk
daftpunk
June 5, 2024 15:57 1m 19s
Make serialized code substantially faster commit message #225: Pull request #1097 opened by ice1000
June 5, 2024 15:57 12s daftpunk
daftpunk
June 5, 2024 15:57 12s
merge: Renamer (#1096) test #294: Commit 7d37cd1 pushed by ice1000
June 4, 2024 20:27 1m 53s main
main
June 4, 2024 20:27 1m 53s
merge: Renamer (#1096) nightly #102: Commit 7d37cd1 pushed by ice1000
June 4, 2024 20:27 2m 48s main
main
June 4, 2024 20:27 2m 48s
Renamer test #293: Pull request #1096 synchronize by ice1000
June 4, 2024 20:16 1m 38s syntax
syntax
June 4, 2024 20:16 1m 38s
Renamer commit message #224: Pull request #1096 synchronize by ice1000
June 4, 2024 20:16 13s syntax
syntax
June 4, 2024 20:16 13s
Renamer test #292: Pull request #1096 opened by ice1000
June 4, 2024 19:29 1m 49s syntax
syntax
June 4, 2024 19:29 1m 49s
Renamer commit message #223: Pull request #1096 opened by ice1000
June 4, 2024 19:29 11s syntax
syntax
June 4, 2024 19:29 11s
merge: More things in the lib, handle empty patterns (#1095) test #291: Commit d6624a9 pushed by ice1000
June 4, 2024 16:38 2m 0s main
main
June 4, 2024 16:38 2m 0s
merge: More things in the lib, handle empty patterns (#1095) nightly #101: Commit d6624a9 pushed by ice1000
June 4, 2024 16:38 2m 51s main
main
June 4, 2024 16:38 2m 51s
More things in the lib, handle empty patterns commit message #222: Pull request #1095 synchronize by ice1000
June 4, 2024 16:36 12s lib-more
lib-more
June 4, 2024 16:36 12s
More things in the lib, handle empty patterns test #290: Pull request #1095 synchronize by ice1000
June 4, 2024 16:36 1m 48s lib-more
lib-more
June 4, 2024 16:36 1m 48s
More things in the lib, handle empty patterns test #289: Pull request #1095 opened by ice1000
June 4, 2024 16:34 1m 36s lib-more
lib-more
June 4, 2024 16:34 1m 36s
More things in the lib, handle empty patterns commit message #221: Pull request #1095 opened by ice1000
June 4, 2024 16:34 17s lib-more
lib-more
June 4, 2024 16:34 17s
ProTip! You can narrow down the results and go further in time using created:<2024-06-04 or the other filters available.