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

merge: Increase coverage, more code on classes (#1107) test #326: Commit 661afc2 pushed by ice1000
June 9, 2024 05:18 1m 40s main
main
June 9, 2024 05:18 1m 40s
Increase coverage, more code on classes test #325: Pull request #1107 synchronize by ice1000
June 9, 2024 05:16 1m 44s save
save
June 9, 2024 05:16 1m 44s
Increase coverage, more code on classes commit message #247: Pull request #1107 synchronize by ice1000
June 9, 2024 05:16 14s save
save
June 9, 2024 05:16 14s
Increase coverage, more code on classes test #324: Pull request #1107 opened by ice1000
June 9, 2024 05:12 1m 42s save
save
June 9, 2024 05:12 1m 42s
Increase coverage, more code on classes commit message #246: Pull request #1107 opened by ice1000
June 9, 2024 05:12 10s save
save
June 9, 2024 05:12 10s
merge: Initial class related code (#1106) test #323: Commit 9bc1fe4 pushed by ice1000
June 9, 2024 05:05 1m 31s main
main
June 9, 2024 05:05 1m 31s
merge: Initial class related code (#1106) nightly #110: Commit 9bc1fe4 pushed by ice1000
June 9, 2024 05:05 2m 41s main
main
June 9, 2024 05:05 2m 41s
Initial class related code commit message #245: Pull request #1106 synchronize by ice1000
June 9, 2024 05:01 13s clazz
clazz
June 9, 2024 05:01 13s
Initial class related code test #322: Pull request #1106 synchronize by ice1000
June 9, 2024 05:01 1m 36s clazz
clazz
June 9, 2024 05:01 1m 36s
Initial class related code commit message #244: Pull request #1106 synchronize by ice1000
June 9, 2024 04:49 11s clazz
clazz
June 9, 2024 04:49 11s
Initial class related code test #321: Pull request #1106 synchronize by ice1000
June 9, 2024 04:49 1m 47s clazz
clazz
June 9, 2024 04:49 1m 47s
Initial class related code test #320: Pull request #1106 synchronize by ice1000
June 9, 2024 04:14 48s clazz
clazz
June 9, 2024 04:14 48s
Initial class related code commit message #243: Pull request #1106 synchronize by ice1000
June 9, 2024 04:14 11s clazz
clazz
June 9, 2024 04:14 11s
Initial class related code test #319: Pull request #1106 synchronize by ice1000
June 9, 2024 03:46 1m 34s clazz
clazz
June 9, 2024 03:46 1m 34s
Initial class related code commit message #242: Pull request #1106 synchronize by ice1000
June 9, 2024 03:46 10s clazz
clazz
June 9, 2024 03:46 10s
Initial class related code test #318: Pull request #1106 opened by ice1000
June 9, 2024 03:45 1m 8s clazz
clazz
June 9, 2024 03:45 1m 8s
Initial class related code commit message #241: Pull request #1106 opened by ice1000
June 9, 2024 03:45 12s clazz
clazz
June 9, 2024 03:45 12s
merge: What am I doing (#1105) test #317: Commit e30b6a2 pushed by ice1000
June 8, 2024 00:40 1m 41s main
main
June 8, 2024 00:40 1m 41s
merge: What am I doing (#1105) nightly #109: Commit e30b6a2 pushed by ice1000
June 8, 2024 00:40 2m 48s main
main
June 8, 2024 00:40 2m 48s
What am I doing test #316: Pull request #1105 opened by ice1000
June 8, 2024 00:38 1m 40s misc
misc
June 8, 2024 00:38 1m 40s
What am I doing commit message #240: Pull request #1105 opened by ice1000
June 8, 2024 00:38 15s misc
misc
June 8, 2024 00:38 15s
merge: Fix module name serialization (#1104) test #315: Commit b3349ea pushed by ice1000
June 7, 2024 21:27 1m 41s main
main
June 7, 2024 21:27 1m 41s
merge: Fix module name serialization (#1104) nightly #108: Commit b3349ea pushed by ice1000
June 7, 2024 21:27 2m 40s main
main
June 7, 2024 21:27 2m 40s
Fix module name serialization test #314: Pull request #1104 synchronize by ice1000
June 7, 2024 21:26 1m 38s jit
jit
June 7, 2024 21:26 1m 38s
Fix module name serialization commit message #239: Pull request #1104 synchronize by ice1000
June 7, 2024 21:26 13s jit
jit
June 7, 2024 21:26 13s