Compare commits
11 Commits
afp-UPF-cu
...
main
Author | SHA1 | Date |
---|---|---|
Achim D. Brucker | b14c78f2ba | |
Achim D. Brucker | ec99c91d35 | |
Achim D. Brucker | fb1b0c6638 | |
Achim D. Brucker | f9399a1283 | |
Achim D. Brucker | ec263ef544 | |
Achim D. Brucker | def4a53102 | |
Achim D. Brucker | cabdfd55a1 | |
Achim D. Brucker | 61e34223aa | |
Achim D. Brucker | 03cc0ac118 | |
Achim D. Brucker | f04c93ce06 | |
Achim D. Brucker | 5a35bc7ca0 |
|
@ -1,10 +0,0 @@
|
|||
pipeline {
|
||||
agent any
|
||||
stages {
|
||||
stage('Build') {
|
||||
steps {
|
||||
sh 'docker run -v $PWD/UPF:/UPF logicalhacking:isabelle2019 isabelle build -D /UPF'
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
|
@ -0,0 +1,13 @@
|
|||
# Continuous Build and Release Setup
|
||||
|
||||
[![status-badge](https://ci.logicalhacking.com/api/badges/afp-mirror/UPF/status.svg)](https://ci.logicalhacking.com/afp-mirror/UPF)
|
||||
|
||||
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/UPF/main/latest/browser_info/AFP/UPF-devel/)
|
||||
* [aux files](https://artifacts.logicalhacking.com/ci/afp-mirror/UPF/main/latest/)
|
|
@ -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 UPF -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
|
13
README.md
13
README.md
|
@ -9,6 +9,12 @@ The official AFP releases are tagged. Additionally, this repository
|
|||
may contain extensions (i.e., a development version) that may be
|
||||
submitted (as an update of the UPF entry) at a later stage.
|
||||
|
||||
## Installation
|
||||
|
||||
```console
|
||||
achim@logicalhacking:~$ isabelle build -D UPF
|
||||
```
|
||||
|
||||
## Authors
|
||||
|
||||
* [Achim D. Brucker](http://www.brucker.ch/)
|
||||
|
@ -21,10 +27,11 @@ This project is licensed under a 3-clause BSD-style license.
|
|||
|
||||
SPDX-License-Identifier: BSD-3-Clause
|
||||
|
||||
## Master Repository
|
||||
|
||||
The master git repository for this project is hosted by the [Software
|
||||
Assurance & Security Research Team](https://logicalhacking.com) at
|
||||
## Upstream Repository
|
||||
|
||||
The upstream git repository, i.e., the single source of truth, for this project is hosted
|
||||
by the [Software Assurance & Security Research Team](https://logicalhacking.com) at
|
||||
<https://git.logicalhacking.com/afp-mirror/UPF>.
|
||||
|
||||
## Publications
|
||||
|
|
|
@ -1,4 +1,5 @@
|
|||
\documentclass[11pt,DIV10,a4paper,twoside=semi,openright,titlepage]{scrreprt}
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage{fixltx2e}
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
%%% Overrides the (rightfully issued) warning by Koma Script that \rm
|
||||
|
|
Loading…
Reference in New Issue