Samuel Degueldre b2685b6709 [IMP] tools: pull playground before trying to publish ...

Previously, if you were not the last person to publish to the
playground, your playground branch would be behind the remote and trying
to push to it would fail.

This commit attempts to pull the changes before updating owl so that
even if you were not the last person to push to the playground, as long
as the pull is a fast-forward, publishing to the playground won't fail.

This commit also adapts some of the status number manipulation to use
bitwise or instead of addition, since return status code can be both
positive or negative and may cancel one another. Using bitwise or
ensures than any non-zero code will make the status non-zero and stay
that way.

2023-01-23 12:39:50 +01:00

..

playground

[FIX] playground: properly set dev flag in examples

2022-03-08 12:24:57 +01:00

compile_xml.js

[ADD] add basic infrastructure to buid owl-runtime without compiler

2022-05-31 14:00:01 +02:00

release.js

[IMP] tools: pull playground before trying to publish

2023-01-23 12:39:50 +01:00

server.py

[REM] tools: remove benchmarks/debug script

2022-02-11 10:41:18 +01:00