Skip to content

Actions: voodoos/ocamix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow runs
141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #52: by github-pages bot
November 8, 2024 11:50 41s gh-pages
gh-pages
November 8, 2024 11:50 41s
Mobile csss fix CI #64: Commit 8de0899 pushed by voodoos
November 8, 2024 11:42 7m 57s main
main
November 8, 2024 11:42 7m 57s
pages build and deployment pages-build-deployment #51: by github-pages bot
November 8, 2024 11:07 42s gh-pages
gh-pages
November 8, 2024 11:07 42s
add todo CI #63: Commit 9cf5f85 pushed by voodoos
November 8, 2024 11:00 7m 47s main
main
November 8, 2024 11:00 7m 47s
pages build and deployment pages-build-deployment #50: by github-pages bot
October 23, 2024 20:22 38s gh-pages
gh-pages
October 23, 2024 20:22 38s
Janky webrtc status ui CI #62: Commit 8167e68 pushed by voodoos
October 23, 2024 20:17 5m 17s main
main
October 23, 2024 20:17 5m 17s
pages build and deployment pages-build-deployment #49: by github-pages bot
October 22, 2024 18:22 42s gh-pages
gh-pages
October 22, 2024 18:22 42s
Rework checkboxes cells CI #61: Commit d807912 pushed by voodoos
October 22, 2024 18:17 5m 0s main
main
October 22, 2024 18:17 5m 0s
pages build and deployment pages-build-deployment #48: by github-pages bot
October 21, 2024 09:28 51s gh-pages
gh-pages
October 21, 2024 09:28 51s
Show editor buttons CI #60: Commit d19d90f pushed by voodoos
October 21, 2024 09:23 4m 44s main
main
October 21, 2024 09:23 4m 44s
pages build and deployment pages-build-deployment #47: by github-pages bot
October 20, 2024 14:41 48s gh-pages
gh-pages
October 20, 2024 14:41 48s
And again CI #59: Commit e347e41 pushed by voodoos
October 20, 2024 14:36 4m 40s main
main
October 20, 2024 14:36 4m 40s
pages build and deployment pages-build-deployment #46: by github-pages bot
October 20, 2024 14:18 47s gh-pages
gh-pages
October 20, 2024 14:18 47s
Deploy action uses gitignore... CI #58: Commit bae6ec6 pushed by voodoos
October 20, 2024 14:13 4m 51s main
main
October 20, 2024 14:13 4m 51s
pages build and deployment pages-build-deployment #45: by github-pages bot
October 20, 2024 10:49 46s gh-pages
gh-pages
October 20, 2024 10:49 46s
Also use bundler for css CI #57: Commit fc7a6d2 pushed by voodoos
October 20, 2024 10:44 4m 46s main
main
October 20, 2024 10:44 4m 46s
pages build and deployment pages-build-deployment #44: by github-pages bot
October 19, 2024 12:43 49s gh-pages
gh-pages
October 19, 2024 12:43 49s
Add a new kind of columns: checkboxes CI #56: Commit f2888bf pushed by voodoos
October 19, 2024 12:39 4m 32s main
main
October 19, 2024 12:39 4m 32s
pages build and deployment pages-build-deployment #43: by github-pages bot
October 17, 2024 09:31 49s gh-pages
gh-pages
October 17, 2024 09:31 49s
Use input event to watch form fields CI #55: Commit 659d166 pushed by voodoos
October 17, 2024 09:26 4m 24s main
main
October 17, 2024 09:26 4m 24s
ocamlformat: enable "parse-docstrings" CI #54: Commit ecd7cf2 pushed by voodoos
October 15, 2024 22:17 4m 26s main
main
October 15, 2024 22:17 4m 26s
pages build and deployment pages-build-deployment #42: by github-pages bot
October 15, 2024 22:16 46s gh-pages
gh-pages
October 15, 2024 22:16 46s
Support column and row deletion CI #53: Commit 1cba61e pushed by voodoos
October 15, 2024 22:11 4m 53s main
main
October 15, 2024 22:11 4m 53s
pages build and deployment pages-build-deployment #41: by github-pages bot
October 15, 2024 09:34 46s gh-pages
gh-pages
October 15, 2024 09:34 46s
Implement column adding CI #52: Commit 6218f20 pushed by voodoos
October 15, 2024 09:26 8m 38s main
main
October 15, 2024 09:26 8m 38s