Skip to content

Actions: aya-prover/aya-prover-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build: produce lastUpdated in Aya blogs!!! .github/workflows/deploy.yml #206: Commit 7eca42f pushed by ice1000
December 22, 2024 08:47 33s main
main
December 22, 2024 08:47 33s
deps: upgrade katex .github/workflows/deploy.yml #205: Commit 15a7522 pushed by ice1000
December 18, 2024 17:23 34s main
main
December 18, 2024 17:23 34s
blog: do not use ast .github/workflows/deploy.yml #204: Commit f171b24 pushed by ice1000
December 15, 2024 23:12 34s main
main
December 15, 2024 23:12 34s
aya: use latest literate Aya syntax .github/workflows/deploy.yml #203: Commit b8c315f pushed by ice1000
December 15, 2024 22:37 30s main
main
December 15, 2024 22:37 30s
blog: use aya-lexer in more places .github/workflows/deploy.yml #202: Commit 275ab57 pushed by ice1000
December 10, 2024 04:27 35s main
main
December 10, 2024 04:27 35s
css: highlight comments .github/workflows/deploy.yml #201: Commit 636079b pushed by ice1000
December 10, 2024 04:19 32s main
main
December 10, 2024 04:19 32s
git: defensively ignore DS_Store .github/workflows/deploy.yml #200: Commit 651bad4 pushed by ice1000
December 9, 2024 18:07 40s main
main
December 9, 2024 18:07 40s
git: remove tracked ignored file .github/workflows/deploy.yml #199: Commit e6901d1 pushed by ice1000
December 9, 2024 18:06 40s main
main
December 9, 2024 18:06 40s
blog: syntax highlight the operator blog .github/workflows/deploy.yml #198: Commit 7a486df pushed by ice1000
December 9, 2024 05:28 33s main
main
December 9, 2024 05:28 33s
blog: clearer phrasing .github/workflows/deploy.yml #197: Commit 9efc86d pushed by ice1000
December 6, 2024 10:46 38s main
main
December 6, 2024 10:46 38s
blog: improve wording, explain why HOAS mapping is cringe .github/workflows/deploy.yml #196: Commit 5655150 pushed by ice1000
December 5, 2024 05:02 34s main
main
December 5, 2024 05:02 34s
blog: fix some typos .github/workflows/deploy.yml #195: Commit 7bdfd63 pushed by ice1000
December 5, 2024 02:21 33s main
main
December 5, 2024 02:21 33s
blog: fix compile .github/workflows/deploy.yml #194: Commit 8ea38f9 pushed by ice1000
December 5, 2024 00:24 34s main
main
December 5, 2024 00:24 34s
blog: add jit-compiler for real .github/workflows/deploy.yml #193: Commit fa5b55e pushed by ice1000
December 5, 2024 00:09 31s main
main
December 5, 2024 00:09 31s
blog: jit-compile .github/workflows/deploy.yml #192: Commit 9b873e1 pushed by ice1000
December 4, 2024 21:09 32s main
main
December 4, 2024 21:09 32s
config: change website desc .github/workflows/deploy.yml #191: Commit 121613d pushed by ice1000
December 4, 2024 20:07 31s main
main
December 4, 2024 20:07 31s
papers: add tt-in-tt .github/workflows/deploy.yml #190: Commit 5d758e1 pushed by ice1000
December 2, 2024 19:03 35s main
main
December 2, 2024 19:03 35s
papers: add .github/workflows/deploy.yml #189: Commit d670d50 pushed by ice1000
December 2, 2024 00:06 35s main
main
December 2, 2024 00:06 35s
papers: add jit related .github/workflows/deploy.yml #188: Commit c809065 pushed by ice1000
December 1, 2024 23:48 35s main
main
December 1, 2024 23:48 35s
papers: extract to constants .github/workflows/deploy.yml #187: Commit a7a75fd pushed by ice1000
December 1, 2024 23:34 35s main
main
December 1, 2024 23:34 35s
papers: reorganize .github/workflows/deploy.yml #186: Commit 1e54f79 pushed by ice1000
December 1, 2024 23:19 31s main
main
December 1, 2024 23:19 31s
deps: upgrade .github/workflows/deploy.yml #185: Commit 058828f pushed by ice1000
October 3, 2024 01:22 1m 0s main
main
October 3, 2024 01:22 1m 0s
blog: further revise .github/workflows/deploy.yml #184: Commit e6f61a3 pushed by ice1000
June 20, 2024 17:42 32s main
main
June 20, 2024 17:42 32s
guide: improve wording & phrasing .github/workflows/deploy.yml #183: Commit dbdbc54 pushed by ice1000
June 20, 2024 17:35 35s main
main
June 20, 2024 17:35 35s
blog: rename title .github/workflows/deploy.yml #182: Commit bb4065a pushed by ice1000
June 19, 2024 08:12 33s main
main
June 19, 2024 08:12 33s