Update and rename pull_request_template.yaml to pull_request_template.md

TZ-zzz · Feb 29, 2024 · d694777 · d694777
1 parent 2f724fa
commit d694777
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 29 deletions.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -0,0 +1,18 @@
+---
+name: Alarm Inspection Report
+about: An analysis report for the alarms produced by Acto
+
+---
+
+## What happened
+Why did Acto raise this alarm?
+What happened in the state transition?
+Why Acto’s oracles raised an alarm?
+
+
+## Root Cause
+Why did the operator behave in this way? Please find the exact block in the operator source code resulting in the behavior.
+
+## Expected behavior?
+If it is a true alarm, how to fix it in the operator code? 
+If it is a false alarm, how to fix it in Acto code?
diff --git a/.github/pull_request_template.yaml b/.github/pull_request_template.yaml