Initial commit. · 73b3b13ab0 - Extended_Finite_State_Machines - LogicalHacking Git Service

Initial commit.

tags/afp-Extended_Finite_State_Machines-current-Isabelle2020^0

Achim D. Brucker 4 months ago

parent

d456a3965d

commit

73b3b13ab0

1 changed files with 10 additions and 0 deletions

Split View

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