Merge branch 'gitignore' into 'master'
Add _opam and .vscode to .gitignore See merge request !1
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
deploy-master | Deploy | The deployment job is older than the previously succeeded deployment job, and therefore cannot be run | |
|