Merge pull request #58 from lisa-analyzer/fix/ci-tests

Refactor Docker workflow and add issue templates

Author: VincenzoArceri

.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.

.github/ISSUE_TEMPLATE/config.yml

@@ -0,0 +1 @@
+blank_issues_enabled: false

.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.

.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!

.github/workflows/docker-image.yml

@@ -1,4 +1,4 @@
-name: 'Docker build image test'
+name: 'Docker build image'
 
 on:
   pull_request:
@@ -9,15 +9,15 @@ on:
       - master
 
 jobs:
-  docker-test:
+  docker-build:
     runs-on: ubuntu-latest
 
     steps:
       - name: Checkout repository
         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
+        run: docker rmi evm-lisa:ci

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