Skip to content

Unbounded proofs of memory safety (#146) #26

Unbounded proofs of memory safety (#146)

Unbounded proofs of memory safety (#146) #26

Workflow file for this run

name: Doxygen Generation
on:
push:
branches: [main]
workflow_dispatch:
jobs:
doxygen-generation:
runs-on: ubuntu-latest
steps:
- name: Doxygen generation
uses: FreeRTOS/CI-CD-Github-Actions/doxygen-generation@main