Skip to content

Actions: Church-of-Church-HSE/Church-of-Church-HSE.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

+ DependoBuf, Twelf projects
ci #35: Commit 9f600fc pushed by TurtlePU
October 7, 2024 03:17 25s main
October 7, 2024 03:17 25s
pages build and deployment
pages-build-deployment #34: by github-pages bot
October 7, 2024 02:55 25s gh-pages
October 7, 2024 02:55 25s
+ code as wiki projects
ci #34: Commit 644d349 pushed by TurtlePU
October 7, 2024 02:55 24s main
October 7, 2024 02:55 24s
pages build and deployment
pages-build-deployment #33: by github-pages bot
October 7, 2024 02:37 2m 22s gh-pages
October 7, 2024 02:37 2m 22s
fix markup
ci #33: Commit ea6f8b0 pushed by TurtlePU
October 7, 2024 02:36 33s main
October 7, 2024 02:36 33s
pages build and deployment
pages-build-deployment #32: by github-pages bot
October 7, 2024 02:35 3m 10s gh-pages
October 7, 2024 02:35 3m 10s
+ zksnark projects
ci #32: Commit 02e66d4 pushed by TurtlePU
October 7, 2024 02:35 23s main
October 7, 2024 02:35 23s
pages build and deployment
pages-build-deployment #31: by github-pages bot
October 7, 2024 02:30 24s gh-pages
October 7, 2024 02:30 24s
+ sanskrit projects
ci #31: Commit 508d940 pushed by TurtlePU
October 7, 2024 02:29 25s main
October 7, 2024 02:29 25s
pages build and deployment
pages-build-deployment #30: by github-pages bot
October 7, 2024 01:36 22s gh-pages
October 7, 2024 01:36 22s
+ tags by type of project
ci #30: Commit 8306c20 pushed by TurtlePU
October 7, 2024 01:36 23s main
October 7, 2024 01:36 23s
pages build and deployment
pages-build-deployment #29: by github-pages bot
October 7, 2024 01:27 23s gh-pages
October 7, 2024 01:27 23s
remove tag ids
ci #29: Commit 76d43e1 pushed by TurtlePU
October 7, 2024 01:26 25s main
October 7, 2024 01:26 25s
pages build and deployment
pages-build-deployment #28: by github-pages bot
October 7, 2024 01:21 4m 58s gh-pages
October 7, 2024 01:21 4m 58s
tag is usage example
ci #28: Commit e76fc56 pushed by TurtlePU
October 7, 2024 01:20 23s main
October 7, 2024 01:20 23s
pages build and deployment
pages-build-deployment #27: by github-pages bot
October 7, 2024 01:18 24s gh-pages
October 7, 2024 01:18 24s
+ tag ids
ci #27: Commit 6df9a67 pushed by TurtlePU
October 7, 2024 01:18 27s main
October 7, 2024 01:18 27s
pages build and deployment
pages-build-deployment #26: by github-pages bot
October 7, 2024 01:04 29s gh-pages
October 7, 2024 01:04 29s
minor markup improvements
ci #26: Commit a7de6b0 pushed by TurtlePU
October 7, 2024 01:04 29s main
October 7, 2024 01:04 29s
pages build and deployment
pages-build-deployment #25: by github-pages bot
October 7, 2024 01:00 27s gh-pages
October 7, 2024 01:00 27s
improve test task markup
ci #25: Commit 8493a9d pushed by TurtlePU
October 7, 2024 00:59 30s main
October 7, 2024 00:59 30s
pages build and deployment
pages-build-deployment #24: by github-pages bot
October 7, 2024 00:53 26s gh-pages
October 7, 2024 00:53 26s
+ programming test taask
ci #24: Commit b0d8318 pushed by TurtlePU
October 7, 2024 00:52 29s main
October 7, 2024 00:52 29s
pages build and deployment
pages-build-deployment #23: by github-pages bot
October 7, 2024 00:40 24s gh-pages
October 7, 2024 00:40 24s
zkSNARK: notation improvement
ci #23: Commit e7ecc2c pushed by TurtlePU
October 7, 2024 00:39 25s main
October 7, 2024 00:39 25s