Skip to content

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

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3 from WHForks/add-nix-flake
ci #47: Commit 7d1d0a1 pushed by TurtlePU
October 16, 2024 19:44 29s main
October 16, 2024 19:44 29s
+ README.md
ci #46: Commit 88da9eb pushed by TurtlePU
October 16, 2024 19:37 31s main
October 16, 2024 19:37 31s
Merge pull request #2 from WHForks/kyo-project-fixes
ci #45: Commit 88bcae6 pushed by TurtlePU
October 16, 2024 06:49 24s main
October 16, 2024 06:49 24s
Merge pull request #1 from WHForks/kyo-direct-plugin-project
ci #44: Commit ddd18fb pushed by TurtlePU
October 15, 2024 21:13 25s main
October 15, 2024 21:13 25s
+ projects index
ci #43: Commit e66d31b pushed by TurtlePU
October 7, 2024 10:55 28s main
October 7, 2024 10:55 28s
+ semantic tags
ci #42: Commit faa5139 pushed by TurtlePU
October 7, 2024 10:46 23s main
October 7, 2024 10:46 23s
remove unused subsection
ci #41: Commit ca46077 pushed by TurtlePU
October 7, 2024 10:38 31s main
October 7, 2024 10:38 31s
+ MLd GC
ci #40: Commit 1c292b9 pushed by TurtlePU
October 7, 2024 10:34 30s main
October 7, 2024 10:34 30s
+ SSA algebras
ci #39: Commit 675b093 pushed by TurtlePU
October 7, 2024 09:36 25s main
October 7, 2024 09:36 25s
+ ВКР tag for DependoBuf
ci #38: Commit 6dd7b03 pushed by TurtlePU
October 7, 2024 03:48 22s main
October 7, 2024 03:48 22s
+ Parser & GC projects
ci #37: Commit 50cff83 pushed by TurtlePU
October 7, 2024 03:46 31s main
October 7, 2024 03:46 31s
+ DependoBuf Rust subsection
ci #36: Commit 94b291e pushed by TurtlePU
October 7, 2024 03:19 35s main
October 7, 2024 03:19 35s
+ DependoBuf, Twelf projects
ci #35: Commit 9f600fc pushed by TurtlePU
October 7, 2024 03:17 25s main
October 7, 2024 03:17 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
fix markup
ci #33: Commit ea6f8b0 pushed by TurtlePU
October 7, 2024 02:36 33s main
October 7, 2024 02:36 33s
+ zksnark projects
ci #32: Commit 02e66d4 pushed by TurtlePU
October 7, 2024 02:35 23s main
October 7, 2024 02:35 23s
+ sanskrit projects
ci #31: Commit 508d940 pushed by TurtlePU
October 7, 2024 02:29 25s main
October 7, 2024 02:29 25s
+ 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
remove tag ids
ci #29: Commit 76d43e1 pushed by TurtlePU
October 7, 2024 01:26 25s main
October 7, 2024 01:26 25s
tag is usage example
ci #28: Commit e76fc56 pushed by TurtlePU
October 7, 2024 01:20 23s main
October 7, 2024 01:20 23s
+ tag ids
ci #27: Commit 6df9a67 pushed by TurtlePU
October 7, 2024 01:18 27s main
October 7, 2024 01:18 27s
minor markup improvements
ci #26: Commit a7de6b0 pushed by TurtlePU
October 7, 2024 01:04 29s main
October 7, 2024 01:04 29s
improve test task markup
ci #25: Commit 8493a9d pushed by TurtlePU
October 7, 2024 00:59 30s main
October 7, 2024 00:59 30s
+ programming test taask
ci #24: Commit b0d8318 pushed by TurtlePU
October 7, 2024 00:52 29s main
October 7, 2024 00:52 29s
zkSNARK: notation improvement
ci #23: Commit e7ecc2c pushed by TurtlePU
October 7, 2024 00:39 25s main
October 7, 2024 00:39 25s