Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
293 workflow runs
293 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
rebase onto jovan continuous integration #136: Commit 6a6f3a8 pushed by lua-vr
Skipped dualize-indexed
dualize-indexed
Skipped
rebase onto jovan Run pre-commit and in-place update PR on push #136: Commit 6a6f3a8 pushed by lua-vr
32s dualize-indexed
dualize-indexed
32s
rebase onto jovan Autolabel PRs #21: Commit 6a6f3a8 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge upstream continuous integration #135: Commit 4459ee9 pushed by lua-vr
1s setm
setm
1s
merge upstream Run pre-commit and in-place update PR on push #135: Commit 4459ee9 pushed by lua-vr
26s setm
setm
26s
merge upstream Autolabel PRs #20: Commit 4459ee9 pushed by lua-vr
Skipped setm
setm
Skipped
typo continuous integration #134: Commit af3a8af pushed by lua-vr
1s setm
setm
1s
typo Run pre-commit and in-place update PR on push #134: Commit af3a8af pushed by lua-vr
25s setm
setm
25s
typo continuous integration #133: Commit 4644f0e pushed by lua-vr
1s setm
setm
1s
typo Run pre-commit and in-place update PR on push #133: Commit 4644f0e pushed by lua-vr
30s setm
setm
30s
simplification experiment continuous integration #132: Commit a2db91d pushed by lua-vr
11s setm
setm
11s
simplification experiment Run pre-commit and in-place update PR on push #132: Commit a2db91d pushed by lua-vr
26s setm
setm
26s
simplification experiment continuous integration #131: Commit fe1acac pushed by lua-vr
1s setm
setm
1s
simplification experiment Run pre-commit and in-place update PR on push #131: Commit fe1acac pushed by lua-vr
24s setm
setm
24s
failed ci? Run pre-commit and in-place update PR on push #130: Commit 08c7281 pushed by lua-vr
20s setm
setm
20s
failed ci? continuous integration #130: Commit 08c7281 pushed by lua-vr
9s setm
setm
9s
add guard_target in the tests continuous integration #129: Commit 7b8ad20 pushed by lua-vr
1s setm
setm
1s
add guard_target in the tests Run pre-commit and in-place update PR on push #129: Commit 7b8ad20 pushed by lua-vr
29s setm
setm
29s
Apply suggestions from code review continuous integration #128: Commit 93d411d pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
Apply suggestions from code review Run pre-commit and in-place update PR on push #128: Commit 93d411d pushed by lua-vr
23s maximal-ergodic-theorem
maximal-ergodic-theorem
23s
Apply suggestion from @lua-vr continuous integration #127: Commit 6d04671 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
Apply suggestion from @lua-vr Run pre-commit and in-place update PR on push #127: Commit 6d04671 pushed by lua-vr
24s maximal-ergodic-theorem
maximal-ergodic-theorem
24s
use fun_prop continuous integration #126: Commit 240cd66 pushed by lua-vr
1s maximal-ergodic-theorem
maximal-ergodic-theorem
1s
use fun_prop Run pre-commit and in-place update PR on push #126: Commit 240cd66 pushed by lua-vr
25s maximal-ergodic-theorem
maximal-ergodic-theorem
25s
pointwise birkhoff theorem continuous integration #125: Commit b219b54 pushed by lua-vr
1s pointwise-birkhoff
pointwise-birkhoff
1s