Skip to content

Actions: aya-prover/aya-prover-docs

Actions

.github/workflows/deploy.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

blog: hott .github/workflows/deploy.yml #159: Commit 3447269 pushed by ice1000
March 13, 2024 03:20 22s main
main
March 13, 2024 03:20 22s
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