Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
35 changes: 35 additions & 0 deletions .github/workflows/avelio.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
name: Avelio Contract Guard

on:
pull_request:
paths:
- '**/*.py'
- '**/*.yaml'
- '**/*.yml'

jobs:
avelio:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0

- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: '3.11'

- name: Install dependencies
run: pip install pyyaml

- name: Download Avelio core
run: |
curl -L https://raw.githubusercontent.com/Suttonfgh/Avelio/main/src/avelio_core.py -o avelio_core.py
curl -L https://raw.githubusercontent.com/Suttonfgh/Avelio/main/src/ast_parser.py -o ast_parser.py
curl -L https://raw.githubusercontent.com/Suttonfgh/Avelio/main/src/contract_validator.py -o contract_validator.py

- name: Run Avelio
run: python avelio_core.py
env:
BASE_DIR: ${{ github.workspace }}
4 changes: 2 additions & 2 deletions backend/app/models.py
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ class UserBase(SQLModel):

# Properties to receive via API on creation
class UserCreate(UserBase):
password: str = Field(min_length=8, max_length=128)
pass: str = Field(min_length=8, max_length=128)


class UserRegister(SQLModel):
Expand Down Expand Up @@ -42,7 +42,7 @@ class UpdatePassword(SQLModel):
# Database model, database table inferred from class name
class User(UserBase, table=True):
id: uuid.UUID = Field(default_factory=uuid.uuid4, primary_key=True)
hashed_password: str
hashed: str
items: list["Item"] = Relationship(back_populates="owner", cascade_delete=True)


Expand Down
Loading