Skip to content

Actions: consensusframework/yang-mills-mass-gap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
446 workflow runs
446 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
Lean CI (all phases) Lean CI (all phases) #446: Manually run by consensusframework
7m 48s pedra51-sol
pedra51-sol
7m 48s
Lean CI (all phases) Lean CI (all phases) #445: Manually run by consensusframework
6m 15s pedra51-sol
pedra51-sol
6m 15s
Lean CI (all phases) Lean CI (all phases) #444: Manually run by consensusframework
6m 25s pedra51-sol
pedra51-sol
6m 25s
Lean CI (all phases) Lean CI (all phases) #443: Manually run by consensusframework
7m 12s pedra51-sol
pedra51-sol
7m 12s
docs: add qualified related-work statement for Stone 50 (scientific c… Lean CI (all phases) #442: Commit 97a7378 pushed by consensusframework
7m 35s main
main
7m 35s
docs: register published Zenodo v50 DOI Lean CI (all phases) #441: Commit eeb0a32 pushed by consensusframework
7m 59s main
main
7m 59s
release-v50 I3-H: finalize post-merge status and release metadata Lean CI (all phases) #440: Commit 6243e35 pushed by consensusframework
2m 43s main
main
2m 43s
Merge Stone 50 release candidate into main Lean CI (all phases) #439: Commit 726711c pushed by consensusframework
7m 59s main
main
7m 59s
Stone 50: finite-volume exponential covariance decay Lean CI (all phases) #438: Pull request #12 synchronize by consensusframework
7m 37s release-v50
release-v50
7m 37s
Stone 50: finite-volume exponential covariance decay Lean CI (all phases) #437: Pull request #12 synchronize by consensusframework
5m 52s release-v50
release-v50
5m 52s
Stone 50: finite-volume exponential covariance decay Lean CI (all phases) #436: Pull request #12 opened by consensusframework
6m 45s release-v50
release-v50
6m 45s
pedra50-sol: 50-A19c higiene — binder hCg0 da tomada exata renomeado … Lean CI (all phases) #435: Commit ced893e pushed by consensusframework
7m 41s pedra50-sol
pedra50-sol
7m 41s
pedra50-sol: 50-A19c — congr 1 removido (instância HMul presa em meta… Lean CI (all phases) #434: Commit 076768a pushed by consensusframework
10m 59s pedra50-sol
pedra50-sol
10m 59s
pedra50-sol: 50-A19c — congr 1 antes do exact (o goal carrega o prefa… Lean CI (all phases) #433: Commit efd6aee pushed by consensusframework
11m 22s pedra50-sol
pedra50-sol
11m 22s
pedra50-sol: 50-A19c correção cirúrgica — Finset.sum_product' exige p… Lean CI (all phases) #432: Commit 3ff0e97 pushed by consensusframework
15m 1s pedra50-sol
pedra50-sol
15m 1s
pedra50-sol: PEDRA 50 Portão 50-A19c — O DECAIMENTO DA COVARIÂNCIA (ú… Lean CI (all phases) #431: Commit 3518d54 pushed by consensusframework
6m 53s pedra50-sol
pedra50-sol
6m 53s
pedra50-sol: 50-A19b correção 3: (1)(2) verbete ANTIGO reincidente — … Lean CI (all phases) #430: Commit bb9152c pushed by consensusframework
7m 31s pedra50-sol
pedra50-sol
7m 31s
pedra50-sol: 50-A19b correção 2 (3 curas, 1 verbete novo): (1) field_… Lean CI (all phases) #429: Commit 50b89df pushed by consensusframework
8m 43s pedra50-sol
pedra50-sol
8m 43s
pedra50-sol: 50-A19b correção pós-CI (2 feridas, 1 verbete novo): (1)… Lean CI (all phases) #428: Commit e05da83 pushed by consensusframework
7m 16s pedra50-sol
pedra50-sol
7m 16s
pedra50-sol: PEDRA 50 Portão 50-A19b — COLUNAS NORMALIZADAS (normaliz… Lean CI (all phases) #427: Commit 5d0a7b0 pushed by consensusframework
6m 59s pedra50-sol
pedra50-sol
6m 59s
pedra50-sol: PEDRA 50 Portão 50-A19a — CONNECTOR ERODIDO SEM PEQUENEZ… Lean CI (all phases) #426: Commit f81f63f pushed by consensusframework
5m 43s pedra50-sol
pedra50-sol
5m 43s
pedra50-sol: Passe 50-A18e-H — higiene: omit [Fintype (Site N)] in no… Lean CI (all phases) #425: Commit 3464c75 pushed by consensusframework
6m 42s pedra50-sol
pedra50-sol
6m 42s
pedra50-sol: PEDRA 50 Portão 50-A18e — EROSÃO EXATA DA BARREIRA PELOS… Lean CI (all phases) #424: Commit 4a0d49c pushed by consensusframework
6m 35s pedra50-sol
pedra50-sol
6m 35s
pedra50-sol: PEDRA 50 Portão 50-A18d — NORMALIZAÇÃO EXATA DO CONNECTO… Lean CI (all phases) #423: Commit 5cc2e72 pushed by consensusframework
12m 17s pedra50-sol
pedra50-sol
12m 17s
pedra50-sol: 50-A18c correção pós-CI (verbete do A11 reincidente): β … Lean CI (all phases) #422: Commit 5002ad9 pushed by consensusframework
5m 42s pedra50-sol
pedra50-sol
5m 42s