Grid5000 support #20
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "workflow_config"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This (big) PR closes #12, #13 and #16
I also removed the call to the contract in each artifact in nickel
ecg was not working because of the cache directory. I used a temp dir to fix this
Merged.
Pull request closed