Skip to content

Actions: ZKForAll/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by semaraugusto
34s
34s
Merge branch 'master' into info-theory/entropy continuous integration #4: Commit e4a30b5 pushed by semaraugusto
12m 44s info-theory/entropy
info-theory/entropy
12m 44s
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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by semaraugusto
24s
24s
removes forgotten #check lines continuous integration #3: Commit 14a398f pushed by semaraugusto
27s info-theory/entropy
info-theory/entropy
27s
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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by semaraugusto
6s
6s
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
adds Entropy module to Mathlib.lean continuous integration #2: Commit 08cedd7 pushed by semaraugusto
2s info-theory/entropy
info-theory/entropy
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by semaraugusto
2s
2s
Merge branch 'master' into info-theory/entropy continuous integration #1: Commit 47f3623 pushed by semaraugusto
9s info-theory/entropy
info-theory/entropy
9s
Merge branch 'master' into info-theory/entropy Autolabel PRs #1: Commit 47f3623 pushed by semaraugusto
2s info-theory/entropy
info-theory/entropy
2s
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