Skip to content

Actions: aya-prover/aya-dev

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

resolve: add introduceDependencies for variables test #835: Pull request #1226 synchronize by mio-19
December 31, 2024 04:06 1m 55s variable
variable
December 31, 2024 04:06 1m 55s
resolve: add introduceDependencies for variables commit message #657: Pull request #1226 synchronize by mio-19
December 31, 2024 04:06 12s variable
variable
December 31, 2024 04:06 12s
Class resolver test #834: Pull request #1134 synchronize by ice1000
December 31, 2024 03:43 58s jit-class
jit-class
December 31, 2024 03:43 58s
Class resolver commit message #656: Pull request #1134 synchronize by ice1000
December 31, 2024 03:43 10s jit-class
jit-class
December 31, 2024 03:43 10s
merge: More readable negative test expects (#1266) nightly #210: Commit f89eb5e pushed by ice1000
December 31, 2024 03:42 3m 34s main
main
December 31, 2024 03:42 3m 34s
merge: More readable negative test expects (#1266) test #833: Commit f89eb5e pushed by ice1000
December 31, 2024 03:42 2m 17s main
main
December 31, 2024 03:42 2m 17s
More readable negative test expects test #832: Pull request #1266 synchronize by ice1000
December 31, 2024 03:39 2m 7s ice1000
ice1000
December 31, 2024 03:39 2m 7s
More readable negative test expects commit message #655: Pull request #1266 synchronize by ice1000
December 31, 2024 03:39 14s ice1000
ice1000
December 31, 2024 03:39 14s
More readable negative test expects test #831: Pull request #1266 opened by ice1000
December 31, 2024 03:33 54s ice1000
ice1000
December 31, 2024 03:33 54s
More readable negative test expects commit message #654: Pull request #1266 opened by ice1000
December 31, 2024 03:33 10s ice1000
ice1000
December 31, 2024 03:33 10s
merge: Eliminate Unnecessary Shadow Warning (#1264) test #830: Commit efb8707 pushed by ice1000
December 31, 2024 02:47 1m 56s main
main
December 31, 2024 02:47 1m 56s
merge: Eliminate Unnecessary Shadow Warning (#1264) nightly #209: Commit efb8707 pushed by ice1000
December 31, 2024 02:47 3m 5s main
main
December 31, 2024 02:47 3m 5s
Eliminate Unnecessary Shadow Warning test #829: Pull request #1264 synchronize by ice1000
December 31, 2024 02:45 1m 53s elim-shadow
elim-shadow
December 31, 2024 02:45 1m 53s
Eliminate Unnecessary Shadow Warning commit message #653: Pull request #1264 synchronize by ice1000
December 31, 2024 02:45 11s elim-shadow
elim-shadow
December 31, 2024 02:45 11s
Eliminate Unnecessary Shadow Warning test #828: Pull request #1264 synchronize by ice1000
December 31, 2024 02:20 1m 54s elim-shadow
elim-shadow
December 31, 2024 02:20 1m 54s
Eliminate Unnecessary Shadow Warning commit message #652: Pull request #1264 synchronize by ice1000
December 31, 2024 02:20 14s elim-shadow
elim-shadow
December 31, 2024 02:20 14s
Eliminate Unnecessary Shadow Warning test #827: Pull request #1264 synchronize by HoshinoTented
December 30, 2024 13:39 2m 6s elim-shadow
elim-shadow
December 30, 2024 13:39 2m 6s
Eliminate Unnecessary Shadow Warning commit message #651: Pull request #1264 synchronize by HoshinoTented
December 30, 2024 13:39 11s elim-shadow
elim-shadow
December 30, 2024 13:39 11s
resolve: add introduceDependencies for variables test #826: Pull request #1226 synchronize by mio-19
December 30, 2024 10:01 1m 39s variable
variable
December 30, 2024 10:01 1m 39s
resolve: add introduceDependencies for variables commit message #650: Pull request #1226 synchronize by mio-19
December 30, 2024 10:01 13s variable
variable
December 30, 2024 10:01 13s
Eliminate Unnecessary Shadow Warning test #825: Pull request #1264 opened by HoshinoTented
December 29, 2024 15:53 1m 54s elim-shadow
elim-shadow
December 29, 2024 15:53 1m 54s
Eliminate Unnecessary Shadow Warning commit message #649: Pull request #1264 opened by HoshinoTented
December 29, 2024 15:53 12s elim-shadow
elim-shadow
December 29, 2024 15:53 12s
merge: Add elim for Simpl Indexed Type (#1263) nightly #208: Commit 50413bd pushed by ice1000
December 29, 2024 11:31 2m 58s main
main
December 29, 2024 11:31 2m 58s
merge: Add elim for Simpl Indexed Type (#1263) test #824: Commit 50413bd pushed by ice1000
December 29, 2024 11:31 1m 54s main
main
December 29, 2024 11:31 1m 54s
Add elim for Simpl Indexed Type commit message #648: Pull request #1263 synchronize by HoshinoTented
December 29, 2024 08:29 11s elim-data
elim-data
December 29, 2024 08:29 11s