Skip to content

Actions: amaybaum/incompleteness

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
381 workflow runs
381 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
OI-N5: the internal observer — a passive self-record can only be read, never written verify #355: Pull request #501 synchronize by amaybaum
In progressdev
dev
In progress
OI-N5: the internal observer — a passive self-record can only be read, never written verify #354: Pull request #501 opened by amaybaum
 15m 34s dev
dev
 15m 34s
Merge pull request #500 from amaybaum/dev verify #353: Commit e38fd64 pushed by amaybaum
 13m 25s main
main
 13m 25s
OI-N4: passive incompleteness is theory-insensitive, and carries no information about the OI core verify #352: Pull request #500 synchronize by amaybaum
 12m 19s dev
dev
 12m 19s
OI-N4: passive incompleteness is theory-insensitive, and carries no information about the OI core verify #351: Pull request #500 opened by amaybaum
 16m 45s dev
dev
 16m 45s
Merge pull request #499 from amaybaum/dev verify #350: Commit c2ceb41 pushed by amaybaum
 14m 22s main
main
 14m 22s
OI-N3: passive instruments on a finite-dimensional C*-algebra read only the center verify #349: Pull request #499 synchronize by amaybaum
 13m 59s dev
dev
 13m 59s
OI-N3: passive instruments on a finite-dimensional C*-algebra read only the center verify #348: Pull request #499 opened by amaybaum
 17m 26s dev
dev
 17m 26s
Merge pull request #498 from amaybaum/dev verify #347: Commit 2dae42c pushed by amaybaum
 16m 27s main
main
 16m 27s
OI-N1/N2: no complete passive observation on a matrix algebra, with the commutative control verify #346: Pull request #498 synchronize by amaybaum
 14m 47s dev
dev
 14m 47s
OI-N1/N2: no complete passive observation on a matrix algebra, with the commutative control verify #345: Pull request #498 opened by amaybaum
 12m 12s dev
dev
 12m 12s
The concrete-cut freeze: the corrected interpretation, stated once (#… verify #344: Commit 97df9fd pushed by amaybaum
 15m 33s main
main
 15m 33s
The concrete-cut freeze: the corrected interpretation, stated once verify #343: Pull request #497 opened by amaybaum
 17m 8s dev
dev
 17m 8s
Audit B, the SM lattice cut: three residues around an honest theorem … verify #342: Commit 7b2a357 pushed by amaybaum
 11m 0s main
main
 11m 0s
Audit B, the SM lattice cut: three residues around an honest theorem verify #341: Pull request #496 synchronize by amaybaum
 12m 55s dev
dev
 12m 55s
Audit B, the SM lattice cut: three residues around an honest theorem verify #340: Pull request #496 synchronize by amaybaum
 15m 28s dev
dev
 15m 28s
Audit B, the SM lattice cut: three residues around an honest theorem verify #339: Pull request #496 synchronize by amaybaum
 15m 55s dev
dev
 15m 55s
Audit B, the SM lattice cut: three residues around an honest theorem verify #338: Pull request #496 opened by amaybaum
 15m 10s dev
dev
 15m 10s
Merge pull request #495 from amaybaum/dev verify #337: Commit c2182e6 pushed by amaybaum
 17m 45s main
main
 17m 45s
Audit B finding B1: C4 at the cosmological cut is named, not discharged verify #336: Pull request #495 synchronize by amaybaum
 15m 26s dev
dev
 15m 26s
Audit B finding B1: C4 at the cosmological cut is named, not discharged verify #335: Pull request #495 opened by amaybaum
 16m 35s dev
dev
 16m 35s
Audit census: make the negative findings reproducible too (#494) verify #334: Commit dc7e4d5 pushed by amaybaum
 15m 44s main
main
 15m 44s
Audit census: make the negative findings reproducible too verify #333: Pull request #494 opened by amaybaum
 15m 19s dev
dev
 15m 19s
Audit A finding A1: the recurrence chain dropped C1, with the counter… verify #332: Commit a2d6dfe pushed by amaybaum
 15m 30s main
main
 15m 30s
Audit A finding A1: the recurrence chain dropped C1, with the countermodel verify #331: Pull request #493 opened by amaybaum
 17m 16s dev
dev
 17m 16s