Skip to content

Actions: ZKForAll/mathlib4

Actions

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

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removes comments from Entropy Run pre-commit and in-place update PR on push #5: Commit cd3165c pushed by semaraugusto
35s info-theory/entropy
info-theory/entropy
35s
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