Skip to content

Actions: aya-prover/aya-prover-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: too hard, remove univalent .github/workflows/deploy.yml #158: Commit cece619 pushed by ice1000
December 26, 2023 02:52 32s main
main
December 26, 2023 02:52 32s
guide: new flcl guide .github/workflows/deploy.yml #157: Commit aa2dd27 pushed by ice1000
December 20, 2023 22:23 35s main
main
December 20, 2023 22:23 35s
deps: katex .github/workflows/deploy.yml #156: Commit ea82338 pushed by ice1000
November 2, 2023 17:00 36s main
main
November 2, 2023 17:00 36s
pubs: remove dead links .github/workflows/deploy.yml #155: Commit 16e528c pushed by ice1000
November 2, 2023 16:48 18s main
main
November 2, 2023 16:48 18s
pubs: add one more .github/workflows/deploy.yml #154: Commit 2bec93d pushed by ice1000
November 2, 2023 16:48 20s main
main
November 2, 2023 16:48 20s
deps: upgrade nodejs .github/workflows/deploy.yml #153: Commit 079f3aa pushed by ice1000
September 18, 2023 16:52 42s main
main
September 18, 2023 16:52 42s
deps: katex .github/workflows/deploy.yml #152: Commit af2469f pushed by ice1000
September 18, 2023 16:46 47s main
main
September 18, 2023 16:46 47s
build: seems mts works .github/workflows/deploy.yml #151: Commit 4c28a43 pushed by ice1000
September 18, 2023 16:44 48s main
main
September 18, 2023 16:44 48s
deps: update .github/workflows/deploy.yml #150: Commit e48f3c4 pushed by ice1000
September 18, 2023 16:33 38s main
main
September 18, 2023 16:33 38s
docs: thank you .github/workflows/deploy.yml #149: Commit a1a699b pushed by ice1000
September 4, 2023 23:38 49s main
main
September 4, 2023 23:38 49s
deps: add .github/workflows/deploy.yml #148: Commit 70d8164 pushed by ice1000
August 7, 2023 13:28 42s main
main
August 7, 2023 13:28 42s
Adding Carlo's thesis .github/workflows/deploy.yml #147: Pull request #15 synchronize by HoshinoTented
August 7, 2023 13:08 41s HoshinoTented:114514
HoshinoTented:114514
August 7, 2023 13:08 41s
Adding Carlo's thesis .github/workflows/deploy.yml #146: Pull request #15 opened by HoshinoTented
August 4, 2023 23:54 39s HoshinoTented:114514
HoshinoTented:114514
August 4, 2023 23:54 39s
docs: fix aya-prover/aya-vscode#26 .github/workflows/deploy.yml #145: Commit 38a0826 pushed by ice1000
July 17, 2023 09:31 41s main
main
July 17, 2023 09:31 41s