Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
116 workflow runs
116 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
text and fixes continuous integration #54: Commit 8eb1ca9 pushed by lua-vr
3s indexed
indexed
3s
text and fixes Run pre-commit and in-place update PR on push #54: Commit 8eb1ca9 pushed by lua-vr
27s indexed
indexed
27s
merge upstream Run pre-commit and in-place update PR on push #53: Commit 5518032 pushed by lua-vr
34s dualize-indexed
dualize-indexed
34s
merge upstream continuous integration #53: Commit 5518032 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
fix warnings continuous integration #52: Commit 9753f57 pushed by lua-vr
10s maximal-ergodic-theorem
maximal-ergodic-theorem
10s
fix warnings Run pre-commit and in-place update PR on push #52: Commit 9753f57 pushed by lua-vr
48s maximal-ergodic-theorem
maximal-ergodic-theorem
48s
style changes continuous integration #51: Commit 9d28854 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
style changes Run pre-commit and in-place update PR on push #51: Commit 9d28854 pushed by lua-vr
36s maximal-ergodic-theorem
maximal-ergodic-theorem
36s
style changes Autolabel PRs #8: Commit 9d28854 pushed by lua-vr
2s maximal-ergodic-theorem
maximal-ergodic-theorem
2s
merge master continuous integration #50: Commit 8701330 pushed by lua-vr
1s indexed
indexed
1s
merge master Run pre-commit and in-place update PR on push #50: Commit 8701330 pushed by lua-vr
24s indexed
indexed
24s
merge master continuous integration #49: Commit cfd711c pushed by lua-vr
1s indexed
indexed
1s
merge master Run pre-commit and in-place update PR on push #49: Commit cfd711c pushed by lua-vr
27s indexed
indexed
27s
merge master Run pre-commit and in-place update PR on push #48: Commit e6f56e2 pushed by lua-vr
31s indexed
indexed
31s
merge master continuous integration #48: Commit e6f56e2 pushed by lua-vr
2s indexed
indexed
2s
merge master continuous integration #47: Commit 37c3f09 pushed by lua-vr
1s indexed
indexed
1s
merge master Run pre-commit and in-place update PR on push #47: Commit 37c3f09 pushed by lua-vr
28s indexed
indexed
28s
merge master continuous integration #46: Commit 9a752ae pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge master Run pre-commit and in-place update PR on push #46: Commit 9a752ae pushed by lua-vr
35s dualize-indexed
dualize-indexed
35s
merge master continuous integration #45: Commit b317858 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge master Run pre-commit and in-place update PR on push #45: Commit b317858 pushed by lua-vr
25s dualize-indexed
dualize-indexed
25s
merge master Autolabel PRs #7: Commit b317858 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge master continuous integration #44: Commit cfd711c pushed by lua-vr
2s indexed
indexed
2s
merge master Run pre-commit and in-place update PR on push #44: Commit cfd711c pushed by lua-vr
34s indexed
indexed
34s
merge master Autolabel PRs #6: Commit cfd711c pushed by lua-vr
2s indexed
indexed
2s