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

ci: no branch nightly #43: Commit d3533ea pushed by ice1000
March 9, 2024 03:48 14s main
main
March 9, 2024 03:48 14s
ci: no branch test #43: Commit d3533ea pushed by ice1000
March 9, 2024 03:48 44s main
main
March 9, 2024 03:48 44s
misc: add a flag test #42: Commit d39d7f1 pushed by ice1000
March 9, 2024 01:16 43s main
main
March 9, 2024 01:16 43s
misc: add a flag nightly #42: Commit d39d7f1 pushed by ice1000
March 9, 2024 01:16 14s main
main
March 9, 2024 01:16 14s
normalize: first step, add β-reductions nightly #41: Commit 56606db pushed by ice1000
March 9, 2024 00:57 15s main
main
March 9, 2024 00:57 15s
normalize: first step, add β-reductions test #41: Commit 56606db pushed by ice1000
March 9, 2024 00:57 41s main
main
March 9, 2024 00:57 41s
pretty: recover some files from TODO due to BasePrettier nightly #40: Commit 54e1623 pushed by ice1000
March 9, 2024 00:31 13s main
main
March 9, 2024 00:31 13s
pretty: recover some files from TODO due to BasePrettier test #40: Commit 54e1623 pushed by ice1000
March 9, 2024 00:31 38s main
main
March 9, 2024 00:31 38s
ci: disable nightly #39: Commit bee1452 pushed by ice1000
March 9, 2024 00:09 13s main
main
March 9, 2024 00:09 13s
ci: disable test #39: Commit bee1452 pushed by ice1000
March 9, 2024 00:09 38s main
main
March 9, 2024 00:09 38s
tyck: NotPi nightly #38: Commit 145e98e pushed by ice1000
March 8, 2024 14:55 14s main
main
March 8, 2024 14:55 14s
tyck: NotPi test #38: Commit 145e98e pushed by ice1000
March 8, 2024 14:55 45s main
main
March 8, 2024 14:55 45s
unify: implement more nightly #37: Commit d6a84ec pushed by ice1000
March 8, 2024 13:57 16s main
main
March 8, 2024 13:57 16s
unify: implement more test #37: Commit d6a84ec pushed by ice1000
March 8, 2024 13:57 39s main
main
March 8, 2024 13:57 39s
unify: a problematic implement of conversion check of sigma type nightly #36: Commit 6b3e0c9 pushed by ice1000
March 8, 2024 11:06 17s main
main
March 8, 2024 11:06 17s
unify: a problematic implement of conversion check of sigma type test #36: Commit 6b3e0c9 pushed by ice1000
March 8, 2024 11:06 45s main
main
March 8, 2024 11:06 45s
unify: getting started nightly #35: Commit 9ddac17 pushed by ice1000
March 8, 2024 10:40 13s main
main
March 8, 2024 10:40 13s
unify: getting started test #35: Commit 9ddac17 pushed by ice1000
March 8, 2024 10:40 34s main
main
March 8, 2024 10:40 34s
tycker: start working on checking of applications test #34: Commit ffa2d23 pushed by ice1000
March 8, 2024 10:18 44s main
main
March 8, 2024 10:18 44s
tycker: start working on checking of applications nightly #34: Commit ffa2d23 pushed by ice1000
March 8, 2024 10:18 12s main
main
March 8, 2024 10:18 12s
tycker: start working on checking of applications nightly #33: Commit 132125a pushed by ice1000
March 8, 2024 10:14 17s main
main
March 8, 2024 10:14 17s
tycker: start working on checking of applications test #33: Commit 132125a pushed by ice1000
March 8, 2024 10:14 47s main
main
March 8, 2024 10:14 47s
syntax: add DeBruijnCtx nightly #32: Commit 16f1281 pushed by ice1000
March 8, 2024 09:31 16s main
main
March 8, 2024 09:31 16s
syntax: add DeBruijnCtx test #32: Commit 16f1281 pushed by ice1000
March 8, 2024 09:31 40s main
main
March 8, 2024 09:31 40s
refactor: move files test #31: Commit 448f80e pushed by ice1000
March 8, 2024 09:24 46s main
main
March 8, 2024 09:24 46s