Skip to content

Actions: amaybaum/incompleteness

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
governance: §A.46 prevent reuse of unverified premises and audit unnecessary evidence verify #3449: Pull request #1103 synchronize by amaybaum
In progress governance/a46-unverified-evidence-reuse-20261104
governance/a46-unverified-evidence-reuse-20261104
In progress
Merge pull request #1104 from amaybaum/corrections/substate2-gstar-20… verify #3448: Commit b8f5991 pushed by amaybaum
8m 51s main
main
8m 51s
SUBSTATE-2/MR-1: flag G★ item 2's refuted clause; state F2-1 run outcomes verify #3447: Pull request #1104 synchronize by amaybaum
10m 18s corrections/substate2-gstar-20261104
corrections/substate2-gstar-20261104
10m 18s
SUBSTATE-2/MR-1: flag G★ item 2's refuted clause; state F2-1 run outcomes verify #3446: Pull request #1104 synchronize by amaybaum
7m 3s corrections/substate2-gstar-20261104
corrections/substate2-gstar-20261104
7m 3s
SUBSTATE-2/MR-1: flag G★ item 2's refuted clause; state F2-1 run outcomes verify #3445: Pull request #1104 opened by amaybaum
9m 43s corrections/substate2-gstar-20261104
corrections/substate2-gstar-20261104
9m 43s
governance: §A.46 prevent reuse of unverified premises and audit unnecessary evidence verify #3444: Pull request #1103 synchronize by amaybaum
11m 42s governance/a46-unverified-evidence-reuse-20261104
governance/a46-unverified-evidence-reuse-20261104
11m 42s
governance: §A.46 prevent reuse of unverified premises and audit unnecessary evidence verify #3443: Pull request #1103 synchronize by amaybaum
9m 3s governance/a46-unverified-evidence-reuse-20261104
governance/a46-unverified-evidence-reuse-20261104
9m 3s
Merge pull request #1102 from amaybaum/corrections/a42-documentary-20… verify #3442: Commit d8eda7d pushed by amaybaum
6m 43s main
main
6m 43s
governance: §A.46 prevent reuse of unverified premises and audit unnecessary evidence verify #3441: Pull request #1103 opened by amaybaum
14m 18s governance/a46-unverified-evidence-reuse-20261104
governance/a46-unverified-evidence-reuse-20261104
14m 18s
PR-AUDIT-1: documentary corrections after the §A.42 evidence landings verify #3440: Pull request #1102 synchronize by amaybaum
24m 33s corrections/a42-documentary-20261104
corrections/a42-documentary-20261104
24m 33s
PR-AUDIT-1: documentary corrections after the §A.42 evidence landings verify #3439: Pull request #1102 synchronize by amaybaum
6m 51s corrections/a42-documentary-20261104
corrections/a42-documentary-20261104
6m 51s
PR-AUDIT-1: documentary corrections after the §A.42 evidence landings verify #3438: Pull request #1102 opened by amaybaum
8m 19s corrections/a42-documentary-20261104
corrections/a42-documentary-20261104
8m 19s
Merge pull request #1100 from amaybaum/evidence/a42-substate1-lean-20… verify #3437: Commit 82f0e11 pushed by amaybaum
5m 48s main
main
5m 48s
evidence(§A.42, landing 3 of 3): land #1009's three SUBSTATE-1 Lean modules verify #3436: Pull request #1100 synchronize by amaybaum
10m 32s evidence/a42-substate1-lean-20261104
evidence/a42-substate1-lean-20261104
10m 32s
Merge pull request #1099 from amaybaum/evidence/a42-sources-20261104 verify #3435: Commit 5425dd0 pushed by amaybaum
6m 35s main
main
6m 35s
evidence(§A.42, landing 2 of 3): copy the branch-only sources that records on main rely on verify #3434: Pull request #1099 synchronize by amaybaum
26m 32s evidence/a42-sources-20261104
evidence/a42-sources-20261104
26m 32s
Merge pull request #1098 from amaybaum/evidence/a42-history-20261104 verify #3433: Commit e9cd64b pushed by amaybaum
21m 9s main
main
21m 9s
evidence(§A.42, landing 1 of 3): bring the MR-1, PC-1 and F2-1 branch histories into main's ancestry (no file change) verify #3432: Pull request #1098 synchronize by amaybaum
10m 29s evidence/a42-history-20261104
evidence/a42-history-20261104
10m 29s
Merge pull request #1097 from amaybaum/governance/a42-dependency-trac… verify #3431: Commit ce36c26 pushed by amaybaum
8m 46s main
main
8m 46s
governance: AGENTS.md §A.42 item 8 (trace off-main references) and §A.46 (research records and established claims) verify #3430: Pull request #1097 synchronize by amaybaum
9m 12s governance/a42-dependency-trace-20261104
governance/a42-dependency-trace-20261104
9m 12s
governance: AGENTS.md §A.42 item 8 (trace off-main references) and §A.46 (research records and established claims) verify #3429: Pull request #1097 synchronize by amaybaum
8m 24s governance/a42-dependency-trace-20261104
governance/a42-dependency-trace-20261104
8m 24s
governance: AGENTS.md §A.42 item 8 (trace off-main references) and §A.46 (research records and established claims) verify #3428: Pull request #1097 synchronize by amaybaum
8m 14s governance/a42-dependency-trace-20261104
governance/a42-dependency-trace-20261104
8m 14s
governance: AGENTS.md §A.42 item 8 (trace off-main references) and §A.46 (research records and established claims) verify #3427: Pull request #1097 synchronize by amaybaum
10m 19s governance/a42-dependency-trace-20261104
governance/a42-dependency-trace-20261104
10m 19s
governance: AGENTS.md §A.42 item 8 (trace off-main references) and §A.46 (research records and established claims) verify #3426: Pull request #1097 synchronize by amaybaum
9m 53s governance/a42-dependency-trace-20261104
governance/a42-dependency-trace-20261104
9m 53s
governance: AGENTS.md §A.46, research records on main and established claims verify #3425: Pull request #1101 synchronize by amaybaum
8m 4s governance/a46-research-records-20261104
governance/a46-research-records-20261104
8m 4s