Skip to content

Actions: v--/notebook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
405 workflow runs
405 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
Fix cardinality proof without reliance on Grothendieck universes Test #377: Commit 5258567 pushed by v--
1s master
master
1s
Remove "universe juggling" Test #376: Commit c776e6e pushed by v--
1s master
master
1s
Remove "universe juggling" Test #375: Commit 53dbbc2 pushed by v--
Skipped master
master
Skipped
Remove "universe juggling" Test #374: Commit bd924af pushed by v--
8s master
master
8s
Rethink small and large sets and categories Test #373: Commit 1abe4d7 pushed by v--
7s master
master
7s
Fix collector Test #372: Commit 9214a6c pushed by v--
1s master
master
1s
Revise the sections on Boolean algebras and rings Test #371: Commit bba9379 pushed by v--
1s master
master
1s
Graph Update: uv in /. #1490366730 Dependency Graph #28: by dependabot Bot
45s master
master
45s
Update ruff and ruff config Test #370: Commit 1c64122 pushed by v--
11s master
master
11s
Revise the section on lattices Test #369: Commit 58aadd6 pushed by v--
1s master
master
1s
Revise the section on totally ordered sets Test #368: Commit ff281d2 pushed by v--
1s master
master
1s
Graph Update: uv in /. #1476692227 Dependency Graph #27: by dependabot Bot
40s master
master
40s
Revise and expand the sections on (pre)ordered sets Test #367: Commit f590a1f pushed by v--
8s master
master
8s
Graph Update: uv in /. #1452720821 Dependency Graph #26: by dependabot Bot
45s master
master
45s
Update mypy Test #366: Commit 336a09e pushed by v--
1s master
master
1s
REUSE configuration Test #365: Commit ed76d20 pushed by v--
10s master
master
10s
Graph Update: uv in /. #1451082529 Dependency Graph #25: by dependabot Bot
53s master
master
53s
REUSE configuration Test #364: Commit 69df727 pushed by v--
1s master
master
1s
Graph Update: uv in /. #1450934290 Dependency Graph #24: by dependabot Bot
40s master
master
40s
Format pyproject.toml Test #363: Commit 748cb27 pushed by v--
1s master
master
1s
Graph Update: uv in /. #1447505898 Dependency Graph #23: by dependabot Bot
44s master
master
44s
Update ruff config Test #362: Commit 314886d pushed by v--
1s master
master
1s
Remove empty first line from Python files Test #361: Commit 0e01ddb pushed by v--
1s master
master
1s
Graph Update: uv in /. #1447498985 Dependency Graph #22: by dependabot Bot
38s master
master
38s
poe.toml -> poe_tasks.toml Test #360: Commit 1f3f848 pushed by v--
1s master
master
1s