- Nov 10, 2021
-
-
SIMONIN Matthieu authored
This remove the logic associated to setting a concurrency limit on the links. We'll revert this commit in a dedicated branch apply the limit (so reverting the revert to restore it :) )
-
SIMONIN Matthieu authored
-
SIMONIN Matthieu authored
+ some styling
-
SIMONIN Matthieu authored
debian11 / gcc11/ qemu6.1.0 / ci debian testing support See merge request tansiv/tansiv!14
-
- Nov 09, 2021
-
-
SIMONIN Matthieu authored
-
SIMONIN Matthieu authored
-
SIMONIN Matthieu authored
-
SIMONIN Matthieu authored
-
SIMONIN Matthieu authored
-
SIMONIN Matthieu authored
-
-
- Oct 30, 2021
-
-
SIMONIN Matthieu authored
- Launcher scripts: notansiv.py / boot.py + Make them part of the tansiv distribution - CMake update - Docker update - Udpdate README - Update base debian image to debian11
-
- Oct 29, 2021
-
-
SIMONIN Matthieu authored
-
- Oct 28, 2021
-
-
SIMONIN Matthieu authored
-
- Oct 23, 2021
-
-
RILLING Louis authored
For #21
-
- Oct 22, 2021
-
-
RILLING Louis authored
In cloned repositories, need to run `git submodule sync` to update the repository information.
-
SIMONIN Matthieu authored
We've updated the location of the installation for our lib / includes So we've to update the way thinks are included/linked on the qemu side
-
RILLING Louis authored
Fix #24 Closes #24 See merge request tansiv/tansiv!12
-
SIMONIN Matthieu authored
-
Martin Quinson authored
-
Martin Quinson authored
-
Martin Quinson authored
-
Martin Quinson authored
-
RILLING Louis authored
-
Martin Quinson authored
-
Martin Quinson authored
-
RILLING Louis authored
-
SIMONIN Matthieu authored
CI: Name Docker images after branch and tag names See merge request tansiv/tansiv!11
-
Martin Quinson authored
-
RILLING Louis authored
For !11 For #18
-
- Oct 20, 2021
-
-
RILLING Louis authored
For #18
-
RILLING Louis authored
-
- Oct 18, 2021
-
-
RILLING Louis authored
This allows to get only references to existing branches and not the detached HEAD.
-
RILLING Louis authored
-
RILLING Louis authored
-
RILLING Louis authored
This optimization is not optimal as it has to download (hopefully only) one docker image before tagging it. Hopefully this is still more efficient than rebuilding an image, pushing it and storing it next to an already existing one based on the same commit. For #18
-
RILLING Louis authored
The commit id of the tag is recorded as label 'tansiv-commit-id' of the Docker image. For #18
-
RILLING Louis authored
The commit id is now only recorded as label 'tansiv-commit-id' of the created Docker image. For #18
-
RILLING Louis authored
-
RILLING Louis authored
-