This website requires JavaScript.
Explore
Help
Sign In
alois
/
CoqDecks
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
b864cacbef7aedd8196de8198b987a7bdd428a66
CoqDecks
/
server
T
History
claude
and
Claude Sonnet 4.6
93863b7eb1
Build and push CoqDecks / build (push)
Failing after 11m12s
Details
Add self-hosted ManyDecks instance to sources config
...
Co-Authored-By: Claude Sonnet 4.6 <
noreply@anthropic.com
>
2026-06-29 23:45:41 +00:00
..
decks
Add pointer to many decks.
2020-05-23 22:11:51 +01:00
dev
Move to more modern docker compose setup, fix small bug with ad, update dependencies.
2022-05-30 03:20:01 +01:00
src
/ts
Handle legacy single-object manyDecks config
2026-06-29 22:00:20 +00:00
.dockerignore
Initial v2
2019-06-22 04:37:15 +01:00
.eslintrc.json
Bunch of clean-up for more modern standards.
2022-05-20 23:58:40 +01:00
config.json5
Add self-hosted ManyDecks instance to sources config
2026-06-29 23:45:41 +00:00
Dockerfile
Move to more modern docker compose setup, fix small bug with ad, update dependencies.
2022-05-30 03:20:01 +01:00
generate-validators.sh
Overhaul of the config system.
2020-02-07 03:17:01 +00:00
package-lock.json
Move to using shared material library.
2022-06-02 23:07:50 +01:00
package.json
Move to more modern docker compose setup, fix small bug with ad, update dependencies.
2022-05-30 03:20:01 +01:00
tsconfig.json
Bunch of clean-up for more modern standards.
2022-05-20 23:58:40 +01:00