Run pre-commit and in-place update PR on push · Workflow runs · ZKForAll/mathlib4 · GitHub

Actions

All workflows
Workflows
- Autolabel PRs Autolabel PRs
- continuous integration continuous integration
- Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing.
- Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push
Management
- Caches

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

4 workflow runs

4 workflow runs

Merge branch 'master' into info-theory/entropy Run pre-commit and in-place update PR on push #4: Commit e4a30b5 pushed by semaraugusto

1m 34s info-theory/entropy

info-theory/entropy

1m 34s

removes forgotten #check lines Run pre-commit and in-place update PR on push #3: Commit 14a398f pushed by semaraugusto

34s info-theory/entropy

info-theory/entropy

34s

adds Entropy module to Mathlib.lean Run pre-commit and in-place update PR on push #2: Commit 08cedd7 pushed by semaraugusto

24s info-theory/entropy

info-theory/entropy

24s

Merge branch 'master' into info-theory/entropy Run pre-commit and in-place update PR on push #1: Commit 47f3623 pushed by semaraugusto

38s info-theory/entropy

info-theory/entropy

38s