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: Pretty print/literate mode features (#1094) test #288: Commit 31b99ba pushed by ice1000
June 4, 2024 16:13 1m 44s main
main
June 4, 2024 16:13 1m 44s
merge: Pretty print/literate mode features (#1094) nightly #100: Commit 31b99ba pushed by ice1000
June 4, 2024 16:13 2m 38s main
main
June 4, 2024 16:13 2m 38s
Pretty print/literate mode features test #287: Pull request #1094 opened by ice1000
June 4, 2024 16:08 1m 58s ide
ide
June 4, 2024 16:08 1m 58s
Pretty print/literate mode features commit message #220: Pull request #1094 opened by ice1000
June 4, 2024 16:08 16s ide
ide
June 4, 2024 16:08 16s
merge: complete the def. of QIIT!! (#1093) nightly #99: Commit 53dab6b pushed by ice1000
June 4, 2024 04:26 2m 39s main
main
June 4, 2024 04:26 2m 39s
merge: complete the def. of QIIT!! (#1093) test #286: Commit 53dab6b pushed by ice1000
June 4, 2024 04:26 1m 45s main
main
June 4, 2024 04:26 1m 45s
QIIT now works!! test #285: Pull request #1093 opened by ice1000
June 4, 2024 04:20 1m 50s ftw
ftw
June 4, 2024 04:20 1m 50s
QIIT now works!! commit message #219: Pull request #1093 opened by ice1000
June 4, 2024 04:20 14s ftw
ftw
June 4, 2024 04:20 14s
merge: Re #568, make qiit tyck (#1092) nightly #98: Commit 26b3230 pushed by ice1000
June 4, 2024 02:55 2m 37s main
main
June 4, 2024 02:55 2m 37s
merge: Re #568, make qiit tyck (#1092) test #284: Commit 26b3230 pushed by ice1000
June 4, 2024 02:55 1m 51s main
main
June 4, 2024 02:55 1m 51s
Re #568, make most of qiit tyck test #283: Pull request #1092 synchronize by ice1000
June 4, 2024 02:47 1m 35s ok
ok
June 4, 2024 02:47 1m 35s
Re #568, make most of qiit tyck commit message #218: Pull request #1092 synchronize by ice1000
June 4, 2024 02:47 15s ok
ok
June 4, 2024 02:47 15s
Re #568, make most of qiit tyck test #282: Pull request #1092 opened by ice1000
June 4, 2024 02:41 1m 50s ok
ok
June 4, 2024 02:41 1m 50s
Re #568, make most of qiit tyck commit message #217: Pull request #1092 opened by ice1000
June 4, 2024 02:41 12s ok
ok
June 4, 2024 02:41 12s
merge: Implement sameMeta unification (#1091) test #281: Commit a9b7bdf pushed by ice1000
June 3, 2024 14:37 1m 51s main
main
June 3, 2024 14:37 1m 51s
merge: Implement sameMeta unification (#1091) nightly #97: Commit a9b7bdf pushed by ice1000
June 3, 2024 14:37 2m 59s main
main
June 3, 2024 14:37 2m 59s
Implement sameMeta unification test #280: Pull request #1091 synchronize by ice1000
June 3, 2024 14:34 1m 34s flexflex
flexflex
June 3, 2024 14:34 1m 34s
Implement sameMeta unification commit message #216: Pull request #1091 synchronize by ice1000
June 3, 2024 14:34 12s flexflex
flexflex
June 3, 2024 14:34 12s
Implement sameMeta unification test #279: Pull request #1091 opened by ice1000
June 3, 2024 14:25 1m 48s flexflex
flexflex
June 3, 2024 14:25 1m 48s
Implement sameMeta unification commit message #215: Pull request #1091 opened by ice1000
June 3, 2024 14:25 14s flexflex
flexflex
June 3, 2024 14:25 14s
merge: Serialize FnDef#modifiers (#1090) test #278: Commit d15692e pushed by ice1000
June 3, 2024 11:31 1m 33s main
main
June 3, 2024 11:31 1m 33s
merge: Serialize FnDef#modifiers (#1090) nightly #96: Commit d15692e pushed by ice1000
June 3, 2024 11:31 2m 39s main
main
June 3, 2024 11:31 2m 39s
Serialize FnDef#modifiers test #277: Pull request #1090 synchronize by HoshinoTented
June 3, 2024 11:00 1m 47s ser-mody
ser-mody
June 3, 2024 11:00 1m 47s
Serialize FnDef#modifiers commit message #214: Pull request #1090 synchronize by HoshinoTented
June 3, 2024 11:00 13s ser-mody
ser-mody
June 3, 2024 11:00 13s
Serialize FnDef#modifiers commit message #213: Pull request #1090 opened by HoshinoTented
June 3, 2024 09:51 12s ser-mody
ser-mody
June 3, 2024 09:51 12s
ProTip! You can narrow down the results and go further in time using created:<2024-06-03 or the other filters available.