diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md new file mode 100644 index 000000000..fbc96c74e --- /dev/null +++ b/.github/ISSUE_TEMPLATE/bug_report.md @@ -0,0 +1,28 @@ +--- +name: Bug report +about: Reporting erroneous/inconsistent behavior +title: "[BUG] " +labels: "bug" +assignees: + - merendamattia + - VincenzoArceri + +--- + +**Description** +A clear and concise description of what the bug is. + +**Reproducibility information** +Report the version (or the commit hash) to identify the point in time where this bug happens. Try to refer to commits already present on the master branch if possible. + +**Expected behavior** +Describe what is expected to happen (output, logs, exceptions, ...). + +**Actual behavior** +Describe what is happening instead (output, logs, exceptions, ...). + +**Attachments** +If applicable, attach everything that might help us reproduce the bug. + +**Further content** +Add anything else that might be important for resolving this bug. diff --git a/.github/ISSUE_TEMPLATE/config.yml b/.github/ISSUE_TEMPLATE/config.yml new file mode 100644 index 000000000..3ba13e0ce --- /dev/null +++ b/.github/ISSUE_TEMPLATE/config.yml @@ -0,0 +1 @@ +blank_issues_enabled: false diff --git a/.github/ISSUE_TEMPLATE/feature_request.md b/.github/ISSUE_TEMPLATE/feature_request.md new file mode 100644 index 000000000..3f957fe85 --- /dev/null +++ b/.github/ISSUE_TEMPLATE/feature_request.md @@ -0,0 +1,22 @@ +--- +name: Feature request +about: Suggest an idea for this project +title: "[FEATURE REQUEST] " +labels: 'enhancement' +assignees: + - merendamattia + - VincenzoArceri + +--- + +**Description** +Describe what the requested feature is. + +**Motivation** +Describe why you think this feature is useful. + +**Suggested implementation** +If you are aware of a paper presenting the required feature (if any), please cite it here. + +**Further content** +Add anything else that might be important for implementing this feature. diff --git a/.github/ISSUE_TEMPLATE/question.md b/.github/ISSUE_TEMPLATE/question.md new file mode 100644 index 000000000..7fd5f920c --- /dev/null +++ b/.github/ISSUE_TEMPLATE/question.md @@ -0,0 +1,13 @@ +--- +name: Question +about: A question for the developers +title: "[QUESTION] " +labels: "question" +assignees: + - merendamattia + - VincenzoArceri + +--- + +**Description** +Write your question here! diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml index 7f6ab4d69..f24e62e26 100644 --- a/.github/workflows/docker-image.yml +++ b/.github/workflows/docker-image.yml @@ -1,4 +1,4 @@ -name: 'Docker build image test' +name: 'Docker build image' on: pull_request: @@ -9,7 +9,7 @@ on: - master jobs: - docker-test: + docker-build: runs-on: ubuntu-latest steps: @@ -17,7 +17,7 @@ jobs: uses: actions/checkout@v3 - name: Build Docker image - run: docker build -t evmlisa:test . - + run: docker build -t evm-lisa:ci . + - name: Remove Docker image - run: docker rmi evmlisa:test \ No newline at end of file + run: docker rmi evm-lisa:ci diff --git a/Dockerfile b/Dockerfile index 10fedf5e0..f4476ca8a 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,5 +1,5 @@ # Use a base image with JDK 11 -FROM openjdk:11-jdk-slim +FROM eclipse-temurin:11-jdk-jammy # Specify the version of Gradle to install ARG GRADLE_VERSION=8.0