aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJosh Chen2020-07-17 10:35:07 +0200
committerJosh Chen2020-07-17 10:35:07 +0200
commit31dca5713d3fbd8401dd35cbf12c2cfcb4944db8 (patch)
tree669bb5cbd5e24e8321fa4e7f3bf1cc7c79ae81ee
parente75a2a2ddfd82d4ba2e65526be1ed92f64369b48 (diff)
more testing
Diffstat (limited to '')
-rw-r--r--.github/isabelle-action/Dockerfile15
-rw-r--r--.github/isabelle-action/action.yml6
-rw-r--r--.github/workflows/ci.yml (renamed from .github/workflows/main.yml)2
3 files changed, 9 insertions, 14 deletions
diff --git a/.github/isabelle-action/Dockerfile b/.github/isabelle-action/Dockerfile
index db77ed8..28fcf65 100644
--- a/.github/isabelle-action/Dockerfile
+++ b/.github/isabelle-action/Dockerfile
@@ -1,21 +1,18 @@
-## Isabelle/Pure on Isabelle2020
+## Isabelle2020 Dockerfile for GitHub Actions
FROM ubuntu
SHELL ["/bin/bash", "-c"]
# Packages
ENV DEBIAN_FRONTEND=noninteractive
-RUN apt-get -y update && \
- apt-get install -y curl less libfontconfig1 libgomp1 libwww-perl rlwrap unzip && \
+RUN apt-get -y update &&\
+ apt-get install -y curl less libfontconfig1 libgomp1 libwww-perl rlwrap unzip &&\
apt-get clean
-# User
-RUN useradd -m isabelle && (echo isabelle:isabelle | chpasswd)
-USER isabelle
# Isabelle
-WORKDIR /home/isabelle
-ADD --chown=isabelle:isabelle https://isabelle.in.tum.de/dist/Isabelle2020_linux.tar.gz Isabelle.tar.gz
+ADD https://isabelle.in.tum.de/dist/Isabelle2020_linux.tar.gz Isabelle.tar.gz
+RUN ls
RUN tar xzf Isabelle.tar.gz &&\
mv Isabelle2020 Isabelle &&\
perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings &&\
@@ -23,7 +20,5 @@ RUN tar xzf Isabelle.tar.gz &&\
Isabelle/bin/isabelle build -o system_heaps -b Pure &&\
rm Isabelle.tar.gz
-# ENTRYPOINT ["Isabelle/bin/isabelle"]
-#ENTRYPOINT [ "sh", "-c", "./Isabelle/bin/isabelle $INPUT_TOOL_ARGS" ]
ENTRYPOINT [ "sh", "-c", "ls" ]
diff --git a/.github/isabelle-action/action.yml b/.github/isabelle-action/action.yml
index 49c043f..c9a1b4a 100644
--- a/.github/isabelle-action/action.yml
+++ b/.github/isabelle-action/action.yml
@@ -1,10 +1,10 @@
-name: "build"
-description: "Build ROOT file"
+name: "Isabelle action"
+description: "Run Isabelle"
author: "josh@joshchen.io"
inputs:
TOOL_ARGS:
- description: "Tool and argument invokation"
+ description: "Isabelle tool to invoke and arguments to pass"
required: true
runs:
diff --git a/.github/workflows/main.yml b/.github/workflows/ci.yml
index 9548ae7..4b9f617 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/ci.yml
@@ -3,7 +3,7 @@ on: push
jobs:
build:
- name: build
+ name: build ROOT
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1