Skip to content

Actions: uqbar-project/website-wollok-ts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix link to the tutorial about profiles in VS Code. Deploy to GitHub Pages #71: Pull request #55 opened by NicolasKalaydjian
December 1, 2024 11:06 Action required NicolasKalaydjian:patch-1
NicolasKalaydjian:patch-1
December 1, 2024 11:06 Action required
Fix collecciones typo Deploy to GitHub Pages #70: Commit a6954ea pushed by fdodino
October 15, 2024 23:26 1m 33s main
main
October 15, 2024 23:26 1m 33s
Fix #48 Deploy to GitHub Pages #69: Commit 38d7dce pushed by fdodino
October 15, 2024 23:24 1m 44s main
main
October 15, 2024 23:24 1m 44s
Merge pull request #49 from uqbar-project/web-editor-part-2 Deploy to GitHub Pages #68: Commit a851b5a pushed by fdodino
October 15, 2024 21:18 1m 42s main
main
October 15, 2024 21:18 1m 42s
Web editor part 2 Deploy to GitHub Pages #67: Pull request #49 synchronize by fdodino
October 15, 2024 21:15 1m 18s web-editor-part-2
web-editor-part-2
October 15, 2024 21:15 1m 18s
Updating wollok-web-tools & creating changelog Deploy to GitHub Pages #66: Commit dec6098 pushed by fdodino
October 15, 2024 21:15 1m 30s web-editor-part-2
web-editor-part-2
October 15, 2024 21:15 1m 30s
Web editor part 2 Deploy to GitHub Pages #65: Pull request #49 synchronize by fdodino
October 15, 2024 20:45 1m 43s web-editor-part-2
web-editor-part-2
October 15, 2024 20:45 1m 43s
Using shx Deploy to GitHub Pages #64: Commit 59026b2 pushed by fdodino
October 15, 2024 20:45 1m 20s web-editor-part-2
web-editor-part-2
October 15, 2024 20:45 1m 20s
Web editor part 2 Deploy to GitHub Pages #63: Pull request #49 synchronize by fdodino
October 14, 2024 21:55 1m 22s web-editor-part-2
web-editor-part-2
October 14, 2024 21:55 1m 22s
Preserve all results + resizable result div + scroll to bottom Deploy to GitHub Pages #62: Commit 6ee371b pushed by fdodino
October 14, 2024 21:55 1m 19s web-editor-part-2
web-editor-part-2
October 14, 2024 21:55 1m 19s
Web editor part 2 Deploy to GitHub Pages #61: Pull request #49 synchronize by fdodino
October 14, 2024 01:11 1m 21s web-editor-part-2
web-editor-part-2
October 14, 2024 01:11 1m 21s
Load scripts dynamically, add warnings in diagram, save/load configs … Deploy to GitHub Pages #60: Commit 82d7564 pushed by fdodino
October 14, 2024 01:11 1m 18s web-editor-part-2
web-editor-part-2
October 14, 2024 01:11 1m 18s
Web editor part 2 Deploy to GitHub Pages #59: Pull request #49 synchronize by fdodino
October 13, 2024 22:14 1m 24s web-editor-part-2
web-editor-part-2
October 13, 2024 22:14 1m 24s
Warning indicator for editor Deploy to GitHub Pages #58: Commit 6cf08a3 pushed by fdodino
October 13, 2024 22:14 1m 27s web-editor-part-2
web-editor-part-2
October 13, 2024 22:14 1m 27s
Web editor part 2 Deploy to GitHub Pages #57: Pull request #49 synchronize by fdodino
October 13, 2024 16:46 1m 24s web-editor-part-2
web-editor-part-2
October 13, 2024 16:46 1m 24s
Using font awesome for toolbar Deploy to GitHub Pages #56: Commit fdd9dd4 pushed by fdodino
October 13, 2024 16:46 1m 23s web-editor-part-2
web-editor-part-2
October 13, 2024 16:46 1m 23s
Web editor part 2 Deploy to GitHub Pages #55: Pull request #49 synchronize by fdodino
October 13, 2024 13:12 1m 17s web-editor-part-2
web-editor-part-2
October 13, 2024 13:12 1m 17s
Change toolbar layout Deploy to GitHub Pages #54: Commit 936aa7b pushed by fdodino
October 13, 2024 13:12 1m 22s web-editor-part-2
web-editor-part-2
October 13, 2024 13:12 1m 22s
Web editor part 2 Deploy to GitHub Pages #53: Pull request #49 synchronize by fdodino
October 12, 2024 20:54 1m 29s web-editor-part-2
web-editor-part-2
October 12, 2024 20:54 1m 29s
Fixed sync image & enhance UI messages Deploy to GitHub Pages #52: Commit 480343b pushed by fdodino
October 12, 2024 20:53 1m 22s web-editor-part-2
web-editor-part-2
October 12, 2024 20:53 1m 22s
Web editor part 2 Deploy to GitHub Pages #51: Pull request #49 synchronize by fdodino
October 12, 2024 20:46 1m 24s web-editor-part-2
web-editor-part-2
October 12, 2024 20:46 1m 24s
zoom in & zoom out icons changed Deploy to GitHub Pages #50: Commit 403e74d pushed by fdodino
October 12, 2024 20:46 1m 25s web-editor-part-2
web-editor-part-2
October 12, 2024 20:46 1m 25s
Web editor part 2 Deploy to GitHub Pages #49: Pull request #49 synchronize by fdodino
October 12, 2024 20:38 1m 24s web-editor-part-2
web-editor-part-2
October 12, 2024 20:38 1m 24s
add open file option Deploy to GitHub Pages #48: Commit 3e14754 pushed by fdodino
October 12, 2024 20:38 1m 27s web-editor-part-2
web-editor-part-2
October 12, 2024 20:38 1m 27s
Web editor part 2 Deploy to GitHub Pages #47: Pull request #49 synchronize by fdodino
October 12, 2024 18:03 1m 13s web-editor-part-2
web-editor-part-2
October 12, 2024 18:03 1m 13s