This website requires JavaScript.
Explore
Help
Sign In
alois
/
ManyCoqDecks
Watch
1
Star
0
Fork
0
You've already forked ManyCoqDecks
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
All Workflows
build.yaml
5 workflow runs
Actor
All actors
claude
Status
All status
Success
Failure
Waiting
Running
Fix CI: initialize elm-material submodule before client build
build.yaml #5
:
Commit
4b13a7cbc8
pushed by
claude
main
2026-06-30 09:17:24 +00:00
4m10s
View workflow file
Update server package-lock.json to include bcryptjs
build.yaml #4
:
Commit
89977da5c7
pushed by
claude
main
2026-06-30 09:15:01 +00:00
4m43s
View workflow file
Add Gitea Actions workflow to build and push Docker images
build.yaml #3
:
Commit
027bb7910e
pushed by
claude
main
2026-06-30 09:11:07 +00:00
5m3s
View workflow file
Add local username/password authentication
build.yaml #2
:
Commit
322c1046fa
pushed by
claude
main
2026-07-01 10:02:04 +00:00
0s
View workflow file
Replace deprecated github action.
build.yaml #1
:
Commit
3ad4f42fd5
pushed by
claude
main
2026-07-01 10:02:03 +00:00
0s
View workflow file