Skip to content

Actions: TOTOGT/geometry

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
528 workflow runs
528 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
pages build and deployment pages-build-deployment #392: by TOTOGT
Queued main
main
Queued
pages build and deployment pages-build-deployment #391: by TOTOGT
15m 12s main
main
15m 12s
pages build and deployment pages-build-deployment #390: by TOTOGT
4m 48s main
main
4m 48s
ch-faraday: §VI — four bridges (C→K→F→U mapped to Maxwell's four laws) Verify Lean proofs (real kernel check) #136: Commit aa71220 pushed by TOTOGT
2m 25s main
main
2m 25s
pages build and deployment pages-build-deployment #389: by TOTOGT
9m 41s main
main
9m 41s
ch-faraday: add §V — establishment ridicule, Maxwell vindication (Air… Verify Lean proofs (real kernel check) #135: Commit 071f963 pushed by TOTOGT
1m 49s main
main
1m 49s
fix: a mesma cera (gender agreement, feminine) Verify Lean proofs (real kernel check) #134: Commit ee867ab pushed by TOTOGT
15m 4s main
main
15m 4s
pages build and deployment pages-build-deployment #388: by TOTOGT
22m 22s main
main
22m 22s
pages build and deployment pages-build-deployment #387: by TOTOGT
3m 38s main
main
3m 38s
pages build and deployment pages-build-deployment #386: by TOTOGT
53s main
main
53s
pages build and deployment pages-build-deployment #385: by TOTOGT
45s main
main
45s
pages build and deployment pages-build-deployment #384: by TOTOGT
5m 11s main
main
5m 11s
pages build and deployment pages-build-deployment #383: by TOTOGT
1m 1s main
main
1m 1s
pages build and deployment pages-build-deployment #382: by TOTOGT
22m 33s main
main
22m 33s
WP54 complete: §10 stupa tower, conical intersection proof, Buddhist-… Verify Lean proofs (real kernel check) #133: Commit 367517c pushed by TOTOGT
3m 0s main
main
3m 0s
Cross-links: ch-molbio → WP53; ch7 topological-orthogenesis → WP54 fo… Verify Lean proofs (real kernel check) #132: Commit 7d0e54a pushed by TOTOGT
15m 50s main
main
15m 50s
pages build and deployment pages-build-deployment #381: by TOTOGT
17m 59s main
main
17m 59s
WP51+52: Objective/Subjective; Irreducible Gap — Gödel, Wolfram, free… Verify Lean proofs (real kernel check) #131: Commit de2fe08 pushed by TOTOGT
4m 23s main
main
4m 23s
pages build and deployment pages-build-deployment #380: by TOTOGT
9m 20s main
main
9m 20s
B7: ch-ramos — Graciliano Ramos, K operator, writers section in index Verify Lean proofs (real kernel check) #130: Commit c10c386 pushed by TOTOGT
4m 7s main
main
4m 7s
pages build and deployment pages-build-deployment #379: by TOTOGT
5m 10s main
main
5m 10s
Fix nav chain: WP46→47→48→49; add WP49 to g6-crystal Verify Lean proofs (real kernel check) #129: Commit af5beb1 pushed by TOTOGT
1m 51s main
main
1m 51s
pages build and deployment pages-build-deployment #378: by TOTOGT
11m 2s main
main
11m 2s
WP49: Combinators — SKI, Schönfinkel, Smullyan, K as gate, Y as fixed… Verify Lean proofs (real kernel check) #128: Commit 44f71fc pushed by TOTOGT
1m 50s main
main
1m 50s
pages build and deployment pages-build-deployment #377: by TOTOGT
1m 36s main
main
1m 36s