Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
187 workflow runs
187 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: dualize ConditionallyCompleteLattice/Indexed Run pre-commit and in-place update PR on push #41: Commit 7590793 pushed by lua-vr
30s dualize-indexed
dualize-indexed
30s
chore: dualize ConditionallyCompleteLattice/Indexed continuous integration #41: Commit 7590793 pushed by lua-vr
2s dualize-indexed
dualize-indexed
2s
chore: dualize ConditionallyCompleteLattice/Indexed Run pre-commit and in-place update PR on push #40: Commit 4ff10ea pushed by lua-vr
25s dualize-indexed
dualize-indexed
25s
chore: dualize ConditionallyCompleteLattice/Indexed continuous integration #40: Commit 4ff10ea pushed by lua-vr
2s dualize-indexed
dualize-indexed
2s
chore: dualize ConditionallyCompleteLattice/Indexed Run pre-commit and in-place update PR on push #39: Commit 672bcd9 pushed by lua-vr
35s dualize-indexed
dualize-indexed
35s
chore: dualize ConditionallyCompleteLattice/Indexed continuous integration #39: Commit 672bcd9 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
add to_dual Run pre-commit and in-place update PR on push #38: Commit 0d43c25 pushed by lua-vr
25s indexed
indexed
25s
add to_dual continuous integration #38: Commit 0d43c25 pushed by lua-vr
1s indexed
indexed
1s
chore: dualize ConditionallyCompleteLattice/Indexed Run pre-commit and in-place update PR on push #37: Commit 7d59139 pushed by lua-vr
25s dualize-indexed
dualize-indexed
25s
chore: dualize ConditionallyCompleteLattice/Indexed continuous integration #37: Commit 7d59139 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
suggestions continuous integration #36: Commit cd0e4dd pushed by lua-vr
1s indexed
indexed
1s
suggestions Run pre-commit and in-place update PR on push #36: Commit cd0e4dd pushed by lua-vr
28s indexed
indexed
28s
suggestions continuous integration #35: Commit 4440dcf pushed by lua-vr
1s indexed
indexed
1s
suggestions Run pre-commit and in-place update PR on push #35: Commit 4440dcf pushed by lua-vr
26s indexed
indexed
26s
feat(ConditionallyCompleteLattice): add arity-two versions of iSup le… continuous integration #34: Commit ebdea2e pushed by lua-vr
1s indexed
indexed
1s
feat(ConditionallyCompleteLattice): add arity-two versions of iSup le… Run pre-commit and in-place update PR on push #34: Commit ebdea2e pushed by lua-vr
37s indexed
indexed
37s
Covering/Vitali: add exists_disjoint_subfamily_covering_enlargement_ball continuous integration #33: Commit c754acd pushed by lua-vr
1s vitali-ball
vitali-ball
1s
Covering/Vitali: add exists_disjoint_subfamily_covering_enlargement_ball Run pre-commit and in-place update PR on push #33: Commit c754acd pushed by lua-vr
31s vitali-ball
vitali-ball
31s
Covering/Vitali: add exists_disjoint_subfamily_covering_enlargement_ball continuous integration #32: Commit f6f7af2 pushed by lua-vr
2s vitali-ball
vitali-ball
2s
Covering/Vitali: add exists_disjoint_subfamily_covering_enlargement_ball Run pre-commit and in-place update PR on push #32: Commit f6f7af2 pushed by lua-vr
35s vitali-ball
vitali-ball
35s
fix proof Run pre-commit and in-place update PR on push #31: Commit 0075a18 pushed by lua-vr
31s maximal-ergodic-theorem
maximal-ergodic-theorem
31s
fix proof continuous integration #31: Commit 0075a18 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
add missing docstring continuous integration #30: Commit cc1da7f pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
add missing docstring Run pre-commit and in-place update PR on push #30: Commit cc1da7f pushed by lua-vr
23s maximal-ergodic-theorem
maximal-ergodic-theorem
23s
add missing docstring continuous integration #29: Commit 2bb1464 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s