Add GitHub Actions workflow and verification scripts

Author: leehack

.github/workflows/dart.yml

@@ -0,0 +1,54 @@
+name: Dart
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: dart-lang/setup-dart@v1
+        with:
+          sdk: stable
+
+      - name: Install dependencies
+        run: dart pub get
+
+      - name: Verify formatting
+        run: dart format --output=none --set-exit-if-changed .
+
+      - name: Analyze project source
+        run: dart analyze
+
+      - name: Run tests with coverage
+        run: |
+          dart pub global activate coverage
+          dart test --coverage=coverage
+          dart pub global run coverage:format_coverage --lcov --in=coverage --out=coverage/lcov.info --report-on=lib
+
+      - name: Verify Coverage (>= 80%)
+        run: dart script/verify_coverage.dart coverage/lcov.info 80
+
+      - name: Upload coverage to Codecov
+        uses: codecov/codecov-action@v5
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
+          files: coverage/lcov.info
+          fail_ci_if_error: true
+
+      - name: Install Pana
+        run: dart pub global activate pana
+
+      - name: Run Pana Verification
+        run: |
+          dart pub global run pana . --no-warning --json > pana_report.json
+          dart script/verify_pana_score.dart
+
+      - name: Publish Dry Run
+        run: dart pub publish --dry-run

script/verify_coverage.dart

@@ -0,0 +1,51 @@
+import 'dart:io';
+
+void main(List<String> args) {
+  if (args.length < 2) {
+    print('Usage: dart verify_coverage.dart <lcov_file> <min_percent>');
+    exit(1);
+  }
+
+  final lcovPath = args[0];
+  final minPercent = double.parse(args[1]);
+
+  final file = File(lcovPath);
+  if (!file.existsSync()) {
+    print('Error: LCOV file not found at $lcovPath');
+    exit(1);
+  }
+
+  final lines = file.readAsLinesSync();
+  int totalLines = 0;
+  int hitLines = 0;
+
+  for (final line in lines) {
+    if (line.startsWith('DA:')) {
+      // DA:<line_number>,<execution_count>
+      final parts = line.substring(3).split(',');
+      if (parts.length >= 2) {
+        totalLines++;
+        if (int.parse(parts[1]) > 0) {
+          hitLines++;
+        }
+      }
+    }
+  }
+
+  if (totalLines == 0) {
+    print('Error: No lines found in coverage report.');
+    exit(1);
+  }
+
+  final coverage = (hitLines / totalLines) * 100;
+  print(
+    'Coverage: ${coverage.toStringAsFixed(2)}% ($hitLines/$totalLines lines)',
+  );
+
+  if (coverage < minPercent) {
+    print('Failure: Coverage is below the required threshold of $minPercent%.');
+    exit(1);
+  }
+
+  print('Success: Coverage meets the requirement.');
+}

script/verify_pana_score.dart

@@ -0,0 +1,38 @@
+import 'dart:convert';
+import 'dart:io';
+
+void main() {
+  final file = File('pana_report.json');
+  if (!file.existsSync()) {
+    print('Error: pana_report.json not found.');
+    exit(1);
+  }
+
+  final jsonString = file.readAsStringSync();
+  final Map<String, dynamic> report = jsonDecode(jsonString);
+
+  final scores = report['scores'] as Map<String, dynamic>?;
+  if (scores == null) {
+    print('Error: Could not find scores in pana report.');
+    exit(1);
+  }
+
+  final grantedPoints = scores['grantedPoints'] as int?;
+  final maxPoints = scores['maxPoints'] as int?;
+
+  if (grantedPoints == null) {
+    print('Error: Could not find grantedPoints in pana report.');
+    exit(1);
+  }
+
+  print('Pana Score: $grantedPoints / ${maxPoints ?? "Unknown"}');
+
+  if (grantedPoints < 160) {
+    print(
+      'Failure: Pana score $grantedPoints is below the required threshold of 160.',
+    );
+    exit(1);
+  }
+
+  print('Success: Pana score meets the requirement.');
+}