Skip to content

Problem 50 (Huffman Code) #158

Problem 50 (Huffman Code)

Problem 50 (Huffman Code) #158

Workflow file for this run

name: Test
# https://docs.github.com/en/actions/using-jobs/using-concurrency#example-only-cancel-in-progress-jobs-or-runs-for-the-current-workflow
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
on:
pull_request:
branches:
- main
push:
branches:
- main
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: checkout
uses: actions/checkout@v4
- name: lean action
uses: leanprover/[email protected]
with:
test: false