Skip to content

Actions: TOTOGT/GTCT

Actions

Codespaces Prebuilds

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Showing all prebuild configuration runs for Codespaces. Learn about prebuilding your codespaces.
45 workflow runs
45 workflow runs

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
[main]: fix: r* = 0.77594 certified; add ch11–15, chIV series, certify_rstar.py Codespaces Prebuilds #45: by github-codespaces Bot
20m 20s main
main
20m 20s
[main]: Update chIV-recursion.html Codespaces Prebuilds #44: by github-codespaces Bot
25m 49s main
main
25m 49s
[main]: Update chIV-operators.html Codespaces Prebuilds #43: by github-codespaces Bot
23m 38s main
main
23m 38s
[main]: Update chIV-correspondence.html Codespaces Prebuilds #42: by github-codespaces Bot
22m 10s main
main
22m 10s
[main]: Add files via upload Codespaces Prebuilds #41: by github-codespaces Bot
24m 53s main
main
24m 53s
[main]: Update index.html Codespaces Prebuilds #40: by github-codespaces Bot
21m 10s main
main
21m 10s
[main]: Update chIV-operators.html Codespaces Prebuilds #39: by github-codespaces Bot
22m 27s main
main
22m 27s
[main]: Add files via upload Codespaces Prebuilds #38: by github-codespaces Bot
25m 35s main
main
25m 35s
[main]: chIV-axioms + chIV-field: preface template, Noto Serif, bilingual + 7… Codespaces Prebuilds #37: by github-codespaces Bot
24m 57s main
main
24m 57s
[main]: chIV-axioms: preface template, Noto Serif, bilingual EN/PT + 6 languages Codespaces Prebuilds #36: by github-codespaces Bot
23m 11s main
main
23m 11s
[main]: fix: quote attribution Brasília 1999 Codespaces Prebuilds #35: by github-codespaces Bot
20m 26s main
main
20m 26s
[main]: Update GTCT_V_Student_Edition.html Codespaces Prebuilds #34: by github-codespaces Bot
21m 3s main
main
21m 3s
[main]: Update GTCT_V_Student_Edition.html Codespaces Prebuilds #33: by github-codespaces Bot
22m 59s main
main
22m 59s
[main]: Update GTCT_V_Student_Edition.html Codespaces Prebuilds #32: by github-codespaces Bot
20m 41s main
main
20m 41s
[main]: Update GTCT_V_Student_Edition.html Codespaces Prebuilds #31: by github-codespaces Bot
16m 54s main
main
16m 54s
[main]: Update GTCT_V_Student_Edition.html Codespaces Prebuilds #30: by github-codespaces Bot
23m 11s main
main
23m 11s
[main]: Update Gumroad links from brodanova6 to g6llc Codespaces Prebuilds #29: by github-codespaces Bot
26m 17s main
main
26m 17s
[main]: Create .nojekyll Codespaces Prebuilds #28: by github-codespaces Bot
23m 42s main
main
23m 42s
[main]: Create 1 Codespaces Prebuilds #27: by github-codespaces Bot
27m 9s main
main
27m 9s
[main]: Create Orbit.lean Codespaces Prebuilds #26: by github-codespaces Bot
23m 26s main
main
23m 26s
[main]: Add files via upload Codespaces Prebuilds #25: by github-codespaces Bot
22m 59s main
main
22m 59s
[main]: Create Files Codespaces Prebuilds #24: by github-codespaces Bot
23m 43s main
main
23m 43s
[main]: Create Operators.md Codespaces Prebuilds #23: by github-codespaces Bot
24m 31s main
main
24m 31s
[main]: Add OrbitLadder.lean: six-rung orbit-class ladder for TO/TOGT Codespaces Prebuilds #22: by github-codespaces Bot
20m 15s main
main
20m 15s
[main]: Revert "Add dm3-dual-cavity module: DualChamberGTCT + MultiOrbitIdent… Codespaces Prebuilds #21: by github-codespaces Bot
25m 11s main
main
25m 11s