Skip to content

Actions: lua-vr/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
311 workflow runs
311 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
withAssignableSyntheticOpaque continuous integration #145: Commit 7a3f022 pushed by lua-vr
11s setm
setm
11s
withAssignableSyntheticOpaque Run pre-commit and in-place update PR on push #145: Commit 7a3f022 pushed by lua-vr
25s setm
setm
25s
more test continuous integration #144: Commit c5e70d5 pushed by lua-vr
1s setm
setm
1s
more test Run pre-commit and in-place update PR on push #144: Commit c5e70d5 pushed by lua-vr
22s setm
setm
22s
more tests by Snir Broshi continuous integration #143: Commit 4653261 pushed by lua-vr
1s setm
setm
1s
more tests by Snir Broshi Run pre-commit and in-place update PR on push #143: Commit 4653261 pushed by lua-vr
26s setm
setm
26s
use kabstract and add test continuous integration #142: Commit 5b52a02 pushed by lua-vr
7s setm
setm
7s
Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push #142: by lua-vr
25s setm
setm
25s
fix snir example continuous integration #141: Commit b59c482 pushed by lua-vr
1s setm
setm
1s
fix snir example Run pre-commit and in-place update PR on push #141: Commit b59c482 pushed by lua-vr
29s setm
setm
29s
[pre-commit.ci lite] apply automatic fixes continuous integration #140: Commit 6bf920f pushed by pre-commit-ci-lite Bot
2s setm
setm
2s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #140: Commit 6bf920f pushed by pre-commit-ci-lite Bot
29s setm
setm
29s
Apply suggestions from code review continuous integration #139: Commit f95e130 pushed by lua-vr
1s setm
setm
1s
Apply suggestions from code review Run pre-commit and in-place update PR on push #139: Commit f95e130 pushed by lua-vr
33s setm
setm
33s
review: some changes from Meta Café review! continuous integration #138: Commit aebad47 pushed by thorimur
1s setm
setm
1s
review: some changes from Meta Café review! Run pre-commit and in-place update PR on push #138: Commit aebad47 pushed by thorimur
29s setm
setm
29s
rebase onto jovan Run pre-commit and in-place update PR on push #137: Commit 38c8131 pushed by lua-vr
22s dualize-indexed
dualize-indexed
22s
rebase onto jovan continuous integration #137: Commit 38c8131 pushed by lua-vr
1s dualize-indexed
dualize-indexed
1s
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