Skip to content

Delete .github/workflows/codeql-analysis.yml #2441

Delete .github/workflows/codeql-analysis.yml

Delete .github/workflows/codeql-analysis.yml #2441

Workflow file for this run

name: Proof HTML
on:
push:
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: anishathalye/[email protected]
with:
directory: ./