Skip to content

Actions: voodoos/ocamix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing dep CI #51: Commit 26f435f pushed by voodoos
September 24, 2024 21:04 7m 39s main
main
September 24, 2024 21:04 7m 39s
pages build and deployment pages-build-deployment #40: by github-pages bot
September 24, 2024 20:53 42s
September 24, 2024 20:53 42s
Yjs experiments CI #50: Pull request #1 synchronize by voodoos
September 24, 2024 20:48 4m 41s yjs-experiments
yjs-experiments
September 24, 2024 20:48 4m 41s
Yjs experiments CI #49: Pull request #1 synchronize by voodoos
September 24, 2024 20:42 4m 32s yjs-experiments
yjs-experiments
September 24, 2024 20:42 4m 32s
Yjs experiments CI #48: Pull request #1 synchronize by voodoos
September 24, 2024 20:30 4m 49s yjs-experiments
yjs-experiments
September 24, 2024 20:30 4m 49s
pages build and deployment pages-build-deployment #39: by github-pages bot
September 21, 2024 13:55 41s
September 21, 2024 13:55 41s
Yjs experiments CI #47: Pull request #1 opened by voodoos
September 21, 2024 13:47 7m 29s yjs-experiments
yjs-experiments
September 21, 2024 13:47 7m 29s
pages build and deployment pages-build-deployment #38: by github-pages bot
August 28, 2024 19:35 37s
August 28, 2024 19:35 37s
Fix typos in CSS for tables CI #46: Commit f50ba37 pushed by voodoos
August 28, 2024 19:31 4m 18s main
main
August 28, 2024 19:31 4m 18s
pages build and deployment pages-build-deployment #37: by github-pages bot
August 27, 2024 18:54 41s
August 27, 2024 18:54 41s
More css improvements. Update ocamix usage. CI #45: Commit 3679b1b pushed by voodoos
August 27, 2024 18:49 4m 30s main
main
August 27, 2024 18:49 4m 30s
pages build and deployment pages-build-deployment #36: by github-pages bot
August 26, 2024 20:43 39s
August 26, 2024 20:43 39s
wip: continue cleaning up while debuggin CI #44: Commit 7667847 pushed by voodoos
August 26, 2024 20:39 4m 23s main
main
August 26, 2024 20:39 4m 23s
pages build and deployment pages-build-deployment #35: by github-pages bot
August 26, 2024 20:16 39s
August 26, 2024 20:16 39s
wip: remove handling of header height CI #43: Commit a65bbb7 pushed by voodoos
August 26, 2024 20:12 4m 39s main
main
August 26, 2024 20:12 4m 39s
pages build and deployment pages-build-deployment #34: by github-pages bot
August 21, 2024 10:50 42s
August 21, 2024 10:50 42s
Split brr_lwd_ui in multiple libs CI #42: Commit cc71cc7 pushed by voodoos
August 21, 2024 10:46 4m 14s main
main
August 21, 2024 10:46 4m 14s
pages build and deployment pages-build-deployment #33: by github-pages bot
August 21, 2024 10:22 41s
August 21, 2024 10:22 41s
add makefile CI #41: Commit e362186 pushed by voodoos
August 21, 2024 10:18 4m 21s main
main
August 21, 2024 10:18 4m 21s
pages build and deployment pages-build-deployment #32: by github-pages bot
August 20, 2024 14:30 43s
August 20, 2024 14:30 43s
Chekc request diff CI #40: Commit 4a7fcc2 pushed by voodoos
August 20, 2024 14:26 4m 20s main
main
August 20, 2024 14:26 4m 20s
pages build and deployment pages-build-deployment #31: by github-pages bot
August 19, 2024 20:16 50s
August 19, 2024 20:16 50s
wip: clear view cache on server update CI #39: Commit 39012da pushed by voodoos
August 19, 2024 20:12 4m 32s main
main
August 19, 2024 20:12 4m 32s
pages build and deployment pages-build-deployment #30: by github-pages bot
August 19, 2024 19:45 40s
August 19, 2024 19:45 40s
Rework virtual table api CI #38: Commit 2dbefb8 pushed by voodoos
August 19, 2024 19:41 4m 21s main
main
August 19, 2024 19:41 4m 21s