Switched from Jenkins to Woodpecker CI.
ci/woodpecker/push/build Pipeline failed Details

This commit is contained in:
Achim D. Brucker 2022-03-26 08:51:34 +00:00
parent f8e96ecf25
commit bf8d7c7dc0
3 changed files with 36 additions and 10 deletions

10
.ci/Jenkinsfile vendored
View File

@ -1,10 +0,0 @@
pipeline {
agent any
stages {
stage('Build') {
steps {
sh 'docker run -v $PWD/Core_DOM:/Core_DOM logicalhacking:isabelle2020 isabelle build -D /Extended_Finite_State_Machine_Inference'
}
}
}
}

13
.woodpecker/README.md Normal file
View File

@ -0,0 +1,13 @@
# Continuous Build and Release Setup
[![status-badge](https://ci.logicalhacking.com/api/badges/afp-mirror/Extended_Finite_State_Machine_Inference/status.svg)](https://ci.logicalhacking.com/afp-mirror/Extended_Finite_State_Machine_Inference)
This directory contains the CI configuration for the [Woodpecker CI](https://woodpecker-ci.org/).
It may also contain additional tools and script that are useful for preparing a release.
## Generated Artifacts
### Latest Build
* [browser_info](https://artifacts.logicalhacking.com/ci/afp-mirror/Extended_Finite_State_Machine_Inference/main/latest/browser_info/AFP/Extended_Finite_State_Machine_Inference-devel/)
* [aux files](https://artifacts.logicalhacking.com/ci/afp-mirror/Extended_Finite_State_Machine_Inference/main/latest/)

23
.woodpecker/build.yml Normal file
View File

@ -0,0 +1,23 @@
pipeline:
build:
image: docker.io/logicalhacking/isabelle2021-1
commands:
- export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/
- mkdir -p $ARTIFACT_DIR
- isabelle build -D Extended_Finite_State_Machine_Inference -o browser_info -o document=pdf
- export `isabelle getenv ISABELLE_HOME_USER`
- cp -r $ISABELLE_HOME_USER/browser_info $ARTIFACT_DIR
- cd $ARTIFACT_DIR
- cd ..
- ln -s * latest
deploy:
image: docker.io/drillster/drone-rsync
settings:
hosts: [ "ci.logicalhacking.com"]
port: 22
source: .artifacts/$CI_REPO_OWNER/*
target: $CI_REPO_OWNER
include: [ "**.*"]
key:
from_secret: artifacts_ssh
user: artifacts