Merge branch 'main' of github.com:oraios/serena

This commit is contained in:
Dominik Jain authored and Dominik Jain committed 2025-07-05 10:30:31 +02:00
commit f3645e78a8
5 files changed
+9 -4

No files matched your search

+1
View File
@@ -15,6 +15,7 @@ jobs:
codespell:
name: Check for spelling errors
runs-on: ubuntu-latest
timeout-minutes: 2
steps:
- name: Checkout
+1 -2
View File
@@ -4,8 +4,6 @@ on:
push:
branches: [ main ]
tags: [ 'v*' ]
pull_request:
branches: [ main ]
env:
REGISTRY: ghcr.io
@@ -14,6 +12,7 @@ env:
jobs:
build-and-push:
runs-on: ubuntu-latest
timeout-minutes: 15
permissions:
contents: read
packages: write
+1
View File
@@ -6,6 +6,7 @@ on:
jobs:
check:
runs-on: ubuntu-latest
timeout-minutes: 5
permissions:
id-token: write
pages: write
+5 -2
View File
@@ -1,8 +1,11 @@
name: Upload Python Package
on:
release:
types: [created]
workflow_dispatch: # Manual trigger only - workflow disabled from auto-running
#on:
# release:
# types: [created]
jobs:
deploy:
+1
View File
@@ -14,6 +14,7 @@ jobs:
cpu:
name: Tests on ${{ matrix.os }}
runs-on: ${{ matrix.os }}
timeout-minutes: 15
if: "!contains(github.event.head_commit.message, 'ci skip')"
strategy:
fail-fast: false