Skip to content

Merge branch 'dev' of github.com:aclai-lab/SoleLogics.jl into dev_marco #267

Merge branch 'dev' of github.com:aclai-lab/SoleLogics.jl into dev_marco

Merge branch 'dev' of github.com:aclai-lab/SoleLogics.jl into dev_marco #267

Workflow file for this run

name: Documenter
on:
push:
branches: [main, master, dev]
tags: [v*]
pull_request:
jobs:
Documenter:
permissions:
contents: write
statuses: write
name: Documentation
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: julia-actions/julia-docdeploy@v1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}