Skip to content

Actions: aya-prover/aya-prover-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

guide: improve phrasing .github/workflows/deploy.yml #181: Commit 19647b0 pushed by ice1000
June 19, 2024 05:50 32s main
main
June 19, 2024 05:50 32s
blog: write more about HIT .github/workflows/deploy.yml #180: Commit dc5f7a2 pushed by ice1000
June 19, 2024 03:24 39s main
main
June 19, 2024 03:24 39s
blog: fix katex .github/workflows/deploy.yml #178: Commit 12d112f pushed by ice1000
June 7, 2024 00:15 45s main
main
June 7, 2024 00:15 45s
blog: fix table .github/workflows/deploy.yml #177: Commit f4f3faa pushed by ice1000
June 7, 2024 00:08 1m 21s main
main
June 7, 2024 00:08 1m 21s
blog: some fixes .github/workflows/deploy.yml #176: Commit 5b22902 pushed by ice1000
June 6, 2024 19:07 36s main
main
June 6, 2024 19:07 36s
blog: add QIIT .github/workflows/deploy.yml #175: Commit fb1ac94 pushed by ice1000
June 4, 2024 04:33 32s main
main
June 4, 2024 04:33 32s
blog: improve .github/workflows/deploy.yml #174: Commit 9dbff6a pushed by ice1000
June 4, 2024 03:03 29s main
main
June 4, 2024 03:03 29s
Fix Typo .github/workflows/deploy.yml #173: Pull request #17 opened by HoshinoTented
June 3, 2024 13:21 40s HoshinoTented:patch-1
HoshinoTented:patch-1
June 3, 2024 13:21 40s
blog: slightly improve the documents .github/workflows/deploy.yml #172: Commit 8a48fba pushed by ice1000
June 3, 2024 11:20 29s main
main
June 3, 2024 11:20 29s
blog: slightly improve the documents .github/workflows/deploy.yml #171: Commit 89e804a pushed by ice1000
June 3, 2024 11:19 23s main
main
June 3, 2024 11:19 23s
blog: some fixes, upgrade Aya will make this compile .github/workflows/deploy.yml #170: Commit f76faab pushed by ice1000
June 3, 2024 05:15 33s main
main
June 3, 2024 05:15 33s
blog: write one more .github/workflows/deploy.yml #169: Commit f4d56bc pushed by ice1000
June 3, 2024 05:03 22s main
main
June 3, 2024 05:03 22s
deps: upgrade .github/workflows/deploy.yml #168: Commit 270dc78 pushed by ice1000
June 2, 2024 03:28 29s main
main
June 2, 2024 03:28 29s
ci: remove bors things .github/workflows/deploy.yml #167: Commit 1d3627b pushed by ice1000
June 2, 2024 03:23 24s main
main
June 2, 2024 03:23 24s
Merge new Aya changes!!! .github/workflows/deploy.yml #166: Pull request #16 synchronize by ice1000
June 2, 2024 03:22 18s new-aya
new-aya
June 2, 2024 03:22 18s
Merge new Aya changes!!! .github/workflows/deploy.yml #165: Pull request #16 synchronize by ice1000
June 2, 2024 03:21 22s new-aya
new-aya
June 2, 2024 03:21 22s
Merge new Aya changes!!! .github/workflows/deploy.yml #164: Pull request #16 opened by ice1000
June 2, 2024 03:19 26s new-aya
new-aya
June 2, 2024 03:19 26s
ci: update .github/workflows/deploy.yml #163: Commit 051ff92 pushed by ice1000
May 26, 2024 15:07 28s main
main
May 26, 2024 15:07 28s
guide: change more univalent things to set-level .github/workflows/deploy.yml #162: Commit 493808f pushed by ice1000
May 24, 2024 23:22 15s main
main
May 24, 2024 23:22 15s
config: title .github/workflows/deploy.yml #161: Commit 9164d7f pushed by ice1000
March 13, 2024 05:35 39s main
main
March 13, 2024 05:35 39s
build: fix .github/workflows/deploy.yml #160: Commit e03ebd8 pushed by ice1000
March 13, 2024 04:01 30s main
main
March 13, 2024 04:01 30s
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