Skip to content
This repository has been archived by the owner on May 27, 2024. It is now read-only.

Actions: aya-prover/locally-nameless-aya-draft

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: move files nightly #31: Commit 448f80e pushed by ice1000
March 8, 2024 09:24 14s main
main
March 8, 2024 09:24 14s
tyck: now pass the test nightly #30: Commit c2fdf3c pushed by HoshinoTented
February 17, 2024 13:45 15s main
main
February 17, 2024 13:45 15s
tyck: now pass the test test #30: Commit c2fdf3c pushed by HoshinoTented
February 17, 2024 13:45 43s main
main
February 17, 2024 13:45 43s
tycker: app test #29: Commit 4a4e9ed pushed by HoshinoTented
February 13, 2024 00:04 54s main
main
February 13, 2024 00:04 54s
tycker: app nightly #29: Commit 4a4e9ed pushed by HoshinoTented
February 13, 2024 00:04 14s main
main
February 13, 2024 00:04 14s
var: AnyVar nightly #28: Commit a35248d pushed by HoshinoTented
February 12, 2024 23:11 14s main
main
February 12, 2024 23:11 14s
var: AnyVar test #28: Commit a35248d pushed by HoshinoTented
February 12, 2024 23:11 34s main
main
February 12, 2024 23:11 34s
term: unlicit 2 nightly #27: Commit 787aa05 pushed by HoshinoTented
February 12, 2024 22:48 19s main
main
February 12, 2024 22:48 19s
term: unlicit 2 test #27: Commit 787aa05 pushed by HoshinoTented
February 12, 2024 22:48 44s main
main
February 12, 2024 22:48 44s
call: Con nightly #26: Commit 947ebec pushed by HoshinoTented
January 26, 2024 09:57 19s main
main
January 26, 2024 09:57 19s
call: Con test #26: Commit 947ebec pushed by HoshinoTented
January 26, 2024 09:57 43s main
main
January 26, 2024 09:57 43s
test: remove test test #25: Commit 5dc074e pushed by HoshinoTented
January 20, 2024 11:20 40s main
main
January 20, 2024 11:20 40s
test: remove test nightly #25: Commit 5dc074e pushed by HoshinoTented
January 20, 2024 11:20 15s main
main
January 20, 2024 11:20 15s
test: java.lang.ClassFormatError nightly #24: Commit b3f5bdc pushed by HoshinoTented
January 20, 2024 11:12 17s main
main
January 20, 2024 11:12 17s
test: java.lang.ClassFormatError test #24: Commit b3f5bdc pushed by HoshinoTented
January 20, 2024 11:12 43s main
main
January 20, 2024 11:12 43s
xigema: check test #23: Commit 0128511 pushed by HoshinoTented
January 19, 2024 21:04 46s main
main
January 19, 2024 21:04 46s
xigema: check nightly #23: Commit 0128511 pushed by HoshinoTented
January 19, 2024 21:04 17s main
main
January 19, 2024 21:04 17s
am I right? @ice1000 test #22: Commit df59db6 pushed by HoshinoTented
January 19, 2024 17:07 42s main
main
January 19, 2024 17:07 42s
am I right? @ice1000 nightly #22: Commit df59db6 pushed by HoshinoTented
January 19, 2024 17:07 19s main
main
January 19, 2024 17:07 19s
tyck: siblings test #21: Commit f06e263 pushed by HoshinoTented
January 15, 2024 07:39 48s main
main
January 15, 2024 07:39 48s
tyck: siblings nightly #21: Commit f06e263 pushed by HoshinoTented
January 15, 2024 07:39 16s main
main
January 15, 2024 07:39 16s
more: decls and defs nightly #20: Commit d075918 pushed by HoshinoTented
January 14, 2024 09:55 13s main
main
January 14, 2024 09:55 13s
more: decls and defs test #20: Commit d075918 pushed by HoshinoTented
January 14, 2024 09:55 42s main
main
January 14, 2024 09:55 42s
more! test #19: Commit 65aa291 pushed by HoshinoTented
January 13, 2024 13:51 44s main
main
January 13, 2024 13:51 44s
more! nightly #19: Commit 65aa291 pushed by HoshinoTented
January 13, 2024 13:51 17s main
main
January 13, 2024 13:51 17s