Skip to content

Actions: phasetr/ising-model

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
wave 16 of 16 (FINAL): last 16 Lean-lane header charges rewritten to … Completion Claim Live #748: Commit 532fe32 pushed by phasetr
17s main
main
17s
wave 16 of 16 (FINAL): last 16 Lean-lane header charges rewritten to … Lean Action CI #14111: Commit 532fe32 pushed by phasetr
15m 40s main
main
15m 40s
docs(4984): wave 16/16 — final header-intension rewrite (ClusterExpansion/TranslationInvariance/LGC/etc.) Completion Claim Live #747: Pull request #5027 edited by phasetr
21s
21s
docs(4984): wave 16/16 — final header-intension rewrite (ClusterExpansion/TranslationInvariance/LGC/etc.) Completion Claim Live #746: Pull request #5027 edited by phasetr
29s
29s
docs(4984): wave 16/16 — final header-intension rewrite (ClusterExpansion/TranslationInvariance/LGC/etc.) Completion Claim Live #745: Pull request #5027 ready_for_review by phasetr
15s
15s
docs(4984): wave 16/16 — final header-intension rewrite (ClusterExpansion/TranslationInvariance/LGC/etc.) Lean Action CI #14110: Pull request #5027 synchronize by phasetr
13m 26s docs/4984-w16-final-wave-headers
docs/4984-w16-final-wave-headers
13m 26s
docs(4984): wave 16/16 — final header-intension rewrite (ClusterExpansion/TranslationInvariance/LGC/etc.) Completion Claim Live #744: Pull request #5027 synchronize by phasetr
27s
27s
docs(4984): wave 16/16 — final header-intension rewrite (ClusterExpansion/TranslationInvariance/LGC/etc.) Lean Action CI #14109: Pull request #5027 synchronize by phasetr
13m 21s docs/4984-w16-final-wave-headers
docs/4984-w16-final-wave-headers
13m 21s
docs(4984): wave 16/16 — final header-intension rewrite (ClusterExpansion/TranslationInvariance/LGC/etc.) Completion Claim Live #743: Pull request #5027 synchronize by phasetr
21s
21s
docs(4984): wave 16/16 — final header-intension rewrite (ClusterExpansion/TranslationInvariance/LGC/etc.) Completion Claim Live #742: Pull request #5027 opened by phasetr
24s
24s
docs(4984): wave 16/16 — final header-intension rewrite (ClusterExpansion/TranslationInvariance/LGC/etc.) Lean Action CI #14108: Pull request #5027 opened by phasetr
4m 14s docs/4984-w16-final-wave-headers
docs/4984-w16-final-wave-headers
4m 14s
wave 15 of 16 (#5025) Lean Action CI #14107: Commit f19a0b9 pushed by phasetr
23m 22s main
main
23m 22s
wave 15 of 16 (#5025) Completion Claim Live #741: Commit f19a0b9 pushed by phasetr
17s main
main
17s
wave 15 of 16 Completion Claim Live #740: Pull request #5025 ready_for_review by phasetr
21s
21s
wave 15 of 16 Completion Claim Live #739: Pull request #5025 edited by phasetr
22s
22s
wave 15 of 16 Lean Action CI #14106: Pull request #5025 synchronize by phasetr
22m 57s docs/4984-w15-ambientlatticesum-headers
docs/4984-w15-ambientlatticesum-headers
22m 57s
wave 15 of 16 Completion Claim Live #738: Pull request #5025 synchronize by phasetr
22s
22s
wave 15 of 16 Lean Action CI #14105: Pull request #5025 synchronize by phasetr
20m 38s docs/4984-w15-ambientlatticesum-headers
docs/4984-w15-ambientlatticesum-headers
20m 38s
wave 15 of 16 Completion Claim Live #737: Pull request #5025 synchronize by phasetr
38s
38s
wave 15 of 16 Lean Action CI #14104: Pull request #5025 synchronize by phasetr
23m 12s docs/4984-w15-ambientlatticesum-headers
docs/4984-w15-ambientlatticesum-headers
23m 12s
wave 15 of 16 Completion Claim Live #736: Pull request #5025 synchronize by phasetr
22s
22s
wave 15 of 16 Lean Action CI #14103: Pull request #5025 opened by phasetr
4m 48s docs/4984-w15-ambientlatticesum-headers
docs/4984-w15-ambientlatticesum-headers
4m 48s
wave 15 of 16 Completion Claim Live #735: Pull request #5025 opened by phasetr
26s
26s
wave 14 of 16 (#5023) Lean Action CI #14102: Commit ea52604 pushed by phasetr
10m 57s main
main
10m 57s
wave 14 of 16 (#5023) Completion Claim Live #734: Commit ea52604 pushed by phasetr
12s main
main
12s