Skip to content

Actions: aya-prover/aya-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow run results
16 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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 #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 #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
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
More wrapper test #3851: Pull request #989 opened by HoshinoTented
July 22, 2023 15:57 3m 29s c6a6c821
c6a6c821
July 22, 2023 15:57 3m 29s
More wrapper commit message #2743: Pull request #989 opened by HoshinoTented
July 22, 2023 15:57 12s c6a6c821
c6a6c821
July 22, 2023 15:57 12s
Bump Gradle to 8.3 RC1 commit message #2742: Pull request #988 synchronize by ice1000
July 21, 2023 14:23 16s Glavo-patch-1
Glavo-patch-1
July 21, 2023 14:23 16s
Bump Gradle to 8.3 RC1 test #3850: Pull request #988 synchronize by ice1000
July 21, 2023 14:23 3m 19s Glavo-patch-1
Glavo-patch-1
July 21, 2023 14:23 3m 19s
Bump Gradle to 8.3 RC1 test #3849: Pull request #988 opened by Glavo
July 20, 2023 12:34 2m 29s Glavo-patch-1
Glavo-patch-1
July 20, 2023 12:34 2m 29s
Bump Gradle to 8.3 RC1 commit message #2741: Pull request #988 opened by Glavo
July 20, 2023 12:34 16s Glavo-patch-1
Glavo-patch-1
July 20, 2023 12:34 16s