Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
465 workflow runs
465 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
use logUnassignedAndAbort continuous integration #222: Commit d48ae37 pushed by lua-vr
1s setm
setm
1s
use logUnassignedAndAbort Run pre-commit and in-place update PR on push #222: Commit d48ae37 pushed by lua-vr
31s setm
setm
31s
merge upstream continuous integration #221: Commit 13887b5 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge upstream Run pre-commit and in-place update PR on push #221: Commit 13887b5 pushed by lua-vr
21s dualize-indexed
dualize-indexed
21s
to_dual, not existing continuous integration #220: Commit 489740d pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
to_dual, not existing Run pre-commit and in-place update PR on push #220: Commit 489740d pushed by lua-vr
26s dualize-indexed
dualize-indexed
26s
[pre-commit.ci lite] apply automatic fixes continuous integration #219: Commit 1027130 pushed by pre-commit-ci-lite Bot
1s dualize-indexed
dualize-indexed
1s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #219: Commit 1027130 pushed by pre-commit-ci-lite Bot
26s dualize-indexed
dualize-indexed
26s
merge upstream continuous integration #218: Commit 85f7543 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
merge upstream Run pre-commit and in-place update PR on push #218: Commit 85f7543 pushed by lua-vr
26s dualize-indexed
dualize-indexed
26s
to_dual, not existing continuous integration #217: Commit 489740d pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
to_dual, not existing Run pre-commit and in-place update PR on push #217: Commit 489740d pushed by lua-vr
28s dualize-indexed
dualize-indexed
28s
chore(WeakDual): remove outdated todos continuous integration #216: Commit 86284be pushed by lua-vr
2s weakdual-todos
weakdual-todos
2s
chore(WeakDual): remove outdated todos Run pre-commit and in-place update PR on push #216: Commit 86284be pushed by lua-vr
24s weakdual-todos
weakdual-todos
24s
chore(WeakDual): remove outdated todos continuous integration #215: Commit 03b6d39 pushed by lua-vr
9s weakdual-todos
weakdual-todos
9s
chore(WeakDual): remove outdated todos Run pre-commit and in-place update PR on push #215: Commit 03b6d39 pushed by lua-vr
46s weakdual-todos
weakdual-todos
46s
Tweak deprecations continuous integration #214: Commit f9bd4dd pushed by ocfnash
8s rename-birkhoff-apply
rename-birkhoff-apply
8s
Tweak deprecations Run pre-commit and in-place update PR on push #214: Commit f9bd4dd pushed by ocfnash
28s rename-birkhoff-apply
rename-birkhoff-apply
28s
Re-trigger ci continuous integration #213: Commit b5b3f63 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
Re-trigger ci Run pre-commit and in-place update PR on push #213: Commit b5b3f63 pushed by lua-vr
25s dualize-indexed
dualize-indexed
25s
merge upstream continuous integration #212: Commit efd15b7 pushed by lua-vr
8s dualize-indexed
dualize-indexed
8s
merge upstream Run pre-commit and in-place update PR on push #212: Commit efd15b7 pushed by lua-vr
22s dualize-indexed
dualize-indexed
22s
merge upstream continuous integration #211: Commit 5c83be0 pushed by lua-vr
9s dualize-indexed
dualize-indexed
9s
merge upstream Run pre-commit and in-place update PR on push #211: Commit 5c83be0 pushed by lua-vr
30s dualize-indexed
dualize-indexed
30s
add' → add_right, succ'_apply → succ_apply' continuous integration #210: Commit 93b098a pushed by lua-vr
1s rename-birkhoff-apply
rename-birkhoff-apply
1s