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

Use graalvm with Java 20 commit message #2753: Pull request #990 opened by imkiva
August 5, 2023 05:24 15s ci
ci
August 5, 2023 05:24 15s
Use graalvm with Java 20 test #3863: Pull request #990 opened by imkiva
August 5, 2023 05:24 1m 31s ci
ci
August 5, 2023 05:24 1m 31s
ci: fix graalvm version nightly #625: Commit 1b78ff5 pushed by imkiva
August 5, 2023 05:24 2m 44s ci
ci
August 5, 2023 05:24 2m 44s
merge: #988 nightly #624: Commit 01256ee pushed by bors bot
August 5, 2023 05:10 4m 45s main
main
August 5, 2023 05:10 4m 45s
merge: #988 test #3862: Commit 01256ee pushed by bors bot
August 5, 2023 05:10 2m 12s main
main
August 5, 2023 05:10 2m 12s
merge: #988 test #3861: Commit 01256ee pushed by bors bot
August 5, 2023 05:07 3m 13s staging
staging
August 5, 2023 05:07 3m 13s
merge: #988 commit message #2752: Commit 01256ee pushed by bors bot
August 5, 2023 05:07 11s staging
staging
August 5, 2023 05:07 11s
Bump Gradle to 8.3 RC1 test #3860: Pull request #988 synchronize by imkiva
August 5, 2023 05:04 2m 59s Glavo-patch-1
Glavo-patch-1
August 5, 2023 05:04 2m 59s
Bump Gradle to 8.3 RC1 commit message #2751: Pull request #988 synchronize by imkiva
August 5, 2023 05:04 14s Glavo-patch-1
Glavo-patch-1
August 5, 2023 05:04 14s
Bump Gradle to 8.3 RC1 commit message #2750: Pull request #988 synchronize by ice1000
August 5, 2023 04:59 15s Glavo-patch-1
Glavo-patch-1
August 5, 2023 04:59 15s
Bump Gradle to 8.3 RC1 test #3859: Pull request #988 synchronize by ice1000
August 5, 2023 04:59 2m 12s Glavo-patch-1
Glavo-patch-1
August 5, 2023 04:59 2m 12s
merge: #988 test #3858: Commit 1035135 pushed by bors bot
August 4, 2023 09:07 2m 7s staging
staging
August 4, 2023 09:07 2m 7s
merge: #988 commit message #2749: Commit 1035135 pushed by bors bot
August 4, 2023 09:07 16s staging
staging
August 4, 2023 09:07 16s
Bump Gradle to 8.3 RC1 commit message #2748: Pull request #988 synchronize by ice1000
August 4, 2023 09:07 26s Glavo-patch-1
Glavo-patch-1
August 4, 2023 09:07 26s
Bump Gradle to 8.3 RC1 test #3857: Pull request #988 synchronize by ice1000
August 4, 2023 09:07 2m 58s Glavo-patch-1
Glavo-patch-1
August 4, 2023 09:07 2m 58s
merge: #988 test #3856: Commit bef764a pushed by bors bot
August 4, 2023 08:47 1m 36s staging
staging
August 4, 2023 08:47 1m 36s
merge: #988 commit message #2747: Commit bef764a pushed by bors bot
August 4, 2023 08:47 14s staging
staging
August 4, 2023 08:47 14s
Bump Gradle to 8.3 RC1 commit message #2746: Pull request #988 synchronize by ice1000
August 4, 2023 08:46 16s Glavo-patch-1
Glavo-patch-1
August 4, 2023 08:46 16s
Bump Gradle to 8.3 RC1 test #3855: Pull request #988 synchronize by ice1000
August 4, 2023 08:46 1m 37s Glavo-patch-1
Glavo-patch-1
August 4, 2023 08:46 1m 37s
Bump Gradle to 8.3 RC1 commit message #2745: Pull request #988 synchronize by ice1000
August 4, 2023 08:23 14s Glavo-patch-1
Glavo-patch-1
August 4, 2023 08:23 14s
Bump Gradle to 8.3 RC1 test #3854: Pull request #988 synchronize by ice1000
August 4, 2023 08:23 1m 43s Glavo-patch-1
Glavo-patch-1
August 4, 2023 08:23 1m 43s
merge: #989 nightly #623: Commit 314f831 pushed by bors bot
July 22, 2023 22:34 9m 37s main
main
July 22, 2023 22:34 9m 37s
merge: #989 test #3853: Commit 314f831 pushed by bors bot
July 22, 2023 22:34 2m 36s main
main
July 22, 2023 22:34 2m 36s
merge: #989 test #3852: Commit 314f831 pushed by bors bot
July 22, 2023 22:31 2m 23s staging
staging
July 22, 2023 22:31 2m 23s
merge: #989 commit message #2744: Commit 314f831 pushed by bors bot
July 22, 2023 22:31 15s staging
staging
July 22, 2023 22:31 15s
ProTip! You can narrow down the results and go further in time using created:<2023-07-22 or the other filters available.