Skip to content

Actions: SoftVarE-Group/uvl-playground

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
235 workflow runs
235 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy playground website Deploy playground website #14: Manually run by st-vi
October 20, 2023 11:00 1m 33s master
master
October 20, 2023 11:00 1m 33s
changes ws port Deploy WebSocket Language Server #4: Commit aaadd08 pushed by st-vi
October 20, 2023 10:58 29s master
master
October 20, 2023 10:58 29s
test Deploy playground website #13: Commit ccfc408 pushed by st-vi
October 20, 2023 10:23 1m 36s master
master
October 20, 2023 10:23 1m 36s
test Deploy playground website #12: Commit acf957c pushed by st-vi
October 20, 2023 10:13 1m 12s master
master
October 20, 2023 10:13 1m 12s
test Deploy playground website #11: Commit 142e3b0 pushed by st-vi
October 20, 2023 10:08 1m 5s master
master
October 20, 2023 10:08 1m 5s
changed port of dockercontainer to introduce a https reverse proxy Deploy playground website #10: Commit 4fba09c pushed by st-vi
October 20, 2023 08:41 1m 25s master
master
October 20, 2023 08:41 1m 25s
Deploy playground website Deploy playground website #9: Manually run by st-vi
October 20, 2023 08:33 1m 33s master
master
October 20, 2023 08:33 1m 33s
updated readme Deploy playground website #8: Commit 039ddce pushed by st-vi
October 19, 2023 07:33 1m 24s master
master
October 19, 2023 07:33 1m 24s
updated readme Deploy playground website #7: Commit a7b7a81 pushed by st-vi
October 19, 2023 07:14 1m 4s master
master
October 19, 2023 07:14 1m 4s
fix #5 Deploy playground website #6: Commit 5b2cafa pushed by st-vi
October 19, 2023 06:58 1m 27s master
master
October 19, 2023 06:58 1m 27s
Deploy WebSocket Language Server Deploy WebSocket Language Server #3: Manually run by st-vi
October 19, 2023 05:52 24s master
master
October 19, 2023 05:52 24s
Deploy playground website Deploy playground website #5: Manually run by st-vi
October 19, 2023 05:52 1m 28s master
master
October 19, 2023 05:52 1m 28s
reenabled z3 because the config site is buggy nevertheless Deploy WebSocket Language Server #2: Commit 7aed991 pushed by st-vi
October 18, 2023 17:08 36s master
master
October 18, 2023 17:08 36s
removed z3 from docker, because it breaks configuration menu Deploy WebSocket Language Server #1: Commit 8fa282d pushed by st-vi
October 18, 2023 16:59 30s master
master
October 18, 2023 16:59 30s
fixed wrong default value of previous commit Deploy playground website #4: Commit 6bb2f48 pushed by st-vi
October 18, 2023 16:36 1m 31s master
master
October 18, 2023 16:36 1m 31s
changed feault env value Deploy playground website #3: Commit 3766362 pushed by st-vi
October 18, 2023 16:34 1m 13s master
master
October 18, 2023 16:34 1m 13s
fixed wrong order of parameters in docker command Deploy playground website #2: Commit baff7ae pushed by st-vi
October 18, 2023 16:17 1m 36s master
master
October 18, 2023 16:17 1m 36s
Update deployment.sh to pass env variables to docker container Deploy playground website #1: Commit 298cdf3 pushed by st-vi
October 18, 2023 16:09 1m 22s master
master
October 18, 2023 16:09 1m 22s
fix #3 Deploy playground website #14: Commit 5e35c52 pushed by st-vi
October 18, 2023 16:03 1m 28s master
master
October 18, 2023 16:03 1m 28s
removed old example code and changed default feature model to be valid Deploy playground website #13: Commit 05a70f0 pushed by st-vi
October 18, 2023 15:51 1m 12s master
master
October 18, 2023 15:51 1m 12s
changed Dockerfile to install Z3 Deploy WebSocket Language Server #5: Commit b70670a pushed by st-vi
October 18, 2023 15:47 51s master
master
October 18, 2023 15:47 51s
Deploy playground website Deploy playground website #12: Manually run by st-vi
October 18, 2023 14:05 1m 34s master
master
October 18, 2023 14:05 1m 34s
Deploy playground website Deploy playground website #11: Manually run by st-vi
October 18, 2023 14:02 1m 10s master
master
October 18, 2023 14:02 1m 10s
Deploy playground website Deploy playground website #10: Manually run by st-vi
October 18, 2023 13:57 1m 29s master
master
October 18, 2023 13:57 1m 29s
Deploy playground website Deploy playground website #9: Manually run by st-vi
October 18, 2023 13:53 1m 21s master
master
October 18, 2023 13:53 1m 21s