This website requires JavaScript.
Explore
Help
Sign In
alois
/
CoqDecks
Watch
1
Star
0
Fork
0
You've already forked CoqDecks
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
All Workflows
build.yaml
21 workflow runs
Actor
All actors
claude
Status
All status
Success
Failure
Waiting
Running
Switch ManyDecks deploy to ManyCoqDecks custom images
build.yaml #21
:
Commit
ec51d2f8d8
pushed by
claude
main
2026-06-30 09:16:59 +00:00
10m31s
View workflow file
Fix manydecks guest auth key: guests -> guest (singular)
build.yaml #20
:
Commit
be2d157b2f
pushed by
claude
main
2026-06-30 08:21:59 +00:00
10m53s
View workflow file
Enable guest auth in manydecks example config
build.yaml #19
:
Commit
e4b170d875
pushed by
claude
main
2026-06-30 07:52:14 +00:00
58s
View workflow file
Fix manydecks auth config: duration -> expiresIn
build.yaml #18
:
Commit
b864cacbef
pushed by
claude
main
2026-06-30 07:56:59 +00:00
11m44s
View workflow file
Add createDb: true to CNPG Role for manydecks user
build.yaml #17
:
Commit
373070bde7
pushed by
claude
main
2026-06-30 07:36:59 +00:00
13m27s
View workflow file
Add self-hosted ManyDecks instance to sources config
build.yaml #16
:
Commit
93863b7eb1
pushed by
claude
main
2026-06-29 23:56:59 +00:00
11m12s
View workflow file
Fix manydecks config: port key is listenOn not port
build.yaml #15
:
Commit
f5a1a0fea3
pushed by
claude
main
2026-06-29 23:39:07 +00:00
33s
View workflow file
Fix manydecks-server readiness probe: use TCP instead of HTTP
build.yaml #14
:
Commit
2a60b2dba6
pushed by
claude
main
2026-06-29 23:34:15 +00:00
29s
View workflow file
Fix ManyDecks config: db → connection (matches server's config.connection)
build.yaml #13
:
Commit
9114ba5272
pushed by
claude
main
2026-06-29 23:04:31 +00:00
27s
View workflow file
Fix namespace: games → jeux in ManyDecks manifests
build.yaml #12
:
Commit
d3a23b5542
pushed by
claude
main
2026-06-29 23:11:59 +00:00
13m27s
View workflow file
Add ManyDecks Kubernetes deployment manifests
build.yaml #11
:
Commit
2213168074
pushed by
claude
main
2026-06-29 22:36:59 +00:00
14m43s
View workflow file
Accept both array and single-object for manyDecks in client decoder
build.yaml #10
:
Commit
6af03923af
pushed by
claude
main
2026-06-29 22:10:34 +00:00
1m43s
View workflow file
Handle legacy single-object manyDecks config
build.yaml #9
:
Commit
81b22a8554
pushed by
claude
main
2026-06-29 22:01:32 +00:00
1m6s
View workflow file
Fix initial sources.manyDecks value to match List type
build.yaml #8
:
Commit
fc89da4f2f
pushed by
claude
main
2026-06-29 21:53:39 +00:00
2m51s
View workflow file
Fix invalid Elm record pattern in ManyDecks instance picker
build.yaml #7
:
Commit
b6fca769a3
pushed by
claude
main
2026-06-29 21:51:37 +00:00
4m13s
View workflow file
Fix submodule SSH URL by rewriting .gitmodules before sync
build.yaml #6
:
Commit
4954471aac
pushed by
claude
main
2026-06-29 21:48:16 +00:00
7m51s
View workflow file
Fetch elm-material submodule during clone
build.yaml #5
:
Commit
3cd0c91f91
pushed by
claude
main
2026-06-29 21:41:16 +00:00
2m4s
View workflow file
Fix cache import failure on first build run
build.yaml #4
:
Commit
755a966541
pushed by
claude
main
2026-06-29 21:39:12 +00:00
1m15s
View workflow file
Add Gitea Actions workflow to build and push images
build.yaml #3
:
Commit
d202d7017c
pushed by
claude
main
2026-06-29 21:38:08 +00:00
5m13s
View workflow file
Support multiple ManyDecks instances
build.yml #2
:
Commit
2c0a43d321
pushed by
claude
main
2026-06-30 22:02:01 +00:00
0s
View workflow file
Move to using shared material library.
build.yml #1
:
Commit
d3e816eddb
pushed by
claude
main
2026-06-30 22:01:59 +00:00
0s
View workflow file