Search Options

Display Count
Sort
Preferred Language
Advanced Search

Results 1 - 2 of 2 for DEF (0.03 seconds)

  1. scripts/add_latest_release_date.py

    import re
    import sys
    from datetime import date
    
    RELEASE_NOTES_FILE = "docs/en/docs/release-notes.md"
    RELEASE_HEADER_PATTERN = re.compile(r"^## (\d+\.\d+\.\d+)\s*(\(.*\))?\s*$")
    
    
    def main() -> None:
        with open(RELEASE_NOTES_FILE) as f:
            lines = f.readlines()
    
        for i, line in enumerate(lines):
            match = RELEASE_HEADER_PATTERN.match(line)
            if not match:
                continue
    Created: Sun Apr 05 07:19:11 GMT 2026
    - Last Modified: Fri Apr 03 12:06:36 GMT 2026
    - 1023 bytes
    - Click Count (0)
  2. docs/en/docs/release-notes.md

    ```Python
    def get_current_user(token: str):
        # authenticate user
        return User()
    
    
    @app.get("/items/")
    def read_items(user: User = Depends(get_current_user)):
        ...
    
    
    @app.post("/items/")
    def create_item(*, user: User = Depends(get_current_user), item: Item):
        ...
    
    
    @app.get("/items/{item_id}")
    Created: Sun Apr 05 07:19:11 GMT 2026
    - Last Modified: Fri Apr 03 12:07:04 GMT 2026
    - 631K bytes
    - Click Count (0)
Back to Top