CodeQL

2130 workflow runs

Fix(gametheory): contre-audit GT-10 ForwardInduction-SPE — hiérarchie…
cancelled:
CodeQL#1980:Commit692a47apushedbymyia-ai-01
main
Nov 2, 20265s
Search #17040: relais g122 — densites App-14-CSharp (860-1250) + Fron…
cancelled:
CodeQL#1979:Commit29a920dpushedbymyia-ai-01
main
Nov 2, 20263s
Fix(docs,#23612): statut 4b — l'exigence 24 Go est réfutée (mesure 8,…
completed successfully:
CodeQL#1978:Commit724aca7pushedbymyia-ai-01
main
Nov 2, 202635m 51s
Refactor(lean,#23164): descendre le lake conway_lean vers GOL/conway_lean
completed successfully:
CodeQL#1977:Pull request#24166synchronizebyjsboige
feature/conway-lake-descend
Nov 2, 202611m 27s
Refactor(lean,#23164): descendre le lake conway_lean vers GOL/conway_lean
cancelled:
CodeQL#1976:Pull request#24166synchronizebyjsboige
feature/conway-lake-descend
Nov 2, 20262m 1s
Refactor(genai,#23553): Audio/04 en trois sous-series (Audiobook, Voi…
completed successfully:
CodeQL#1975:Commit36febbepushedbymyia-ai-01
main
Nov 2, 202638m 36s
Refactor(gametheory,#20316): T5b -- renumerotation 15d->SocialChoice/06b, 15f->15d, 16e->16d, 16g->16e
completed successfully:
CodeQL#1974:Pull request#24147synchronizebyjsboige
refactor/20316-t5b
Nov 2, 202621m 35s
Fix(qc,#24153): admettre un decalage constant du cycle e0..e4 ancre sur la fenetre
completed successfully:
CodeQL#1973:Pull request#24288openedbyjsboige
fix/24153-shadow-cycle-shift
Nov 2, 202631m 19s
Fix(gametheory,#22831): GT-15 contre-audit — timing + provenance T=50…
cancelled:
CodeQL#1972:Commit466d8e0pushedbymyia-ai-01
main
Nov 2, 202622m 32s
Refactor(gametheory,#20316): T5b -- renumerotation 15d->SocialChoice/06b, 15f->15d, 16e->16d, 16g->16e
cancelled:
CodeQL#1971:Pull request#24147synchronizebyjsboige
refactor/20316-t5b
Nov 2, 202612m 50s
Fix(gametheory): contre-audit GT-09b Commitment-Stackelberg — 3 défau…
cancelled:
CodeQL#1970:Commitb198b8epushedbymyia-ai-01
main
Nov 2, 202623m 15s
Fix(ci,#23330): unpushed_commits confronte le HEAD au tip distant
completed successfully:
CodeQL#1969:Pull request#24284synchronizebyjsboige
fix/23330-unpushed-remote-tip
Nov 2, 202652m 8s
Fix(picker,#24250): une reouverture du user reprend la decision de cl…
cancelled:
CodeQL#1968:Commitbf64b5epushedbymyia-ai-01
main
Nov 2, 20261m 45s
Add(tooling,#24224): organe advisory de couverture de navigation par dossier
completed successfully:
CodeQL#1967:Pull request#24244synchronizebyjsboige
feature/24224-nav-coverage
Nov 2, 202641m 0s
Refactor(lean,#23164): descendre le lake conway_lean vers GOL/conway_lean
cancelled:
CodeQL#1966:Pull request#24166synchronizebyjsboige
feature/conway-lake-descend
Nov 2, 20261h 3m 1s
Fix(ws-00c,#24031,#24075): epingler source Fashion-MNIST et tol du solveur -- le chiffre, propriete du carnet
completed successfully:
CodeQL#1965:Pull request#24034synchronizebyjsboige
fix/24031-ws00c-source-pin
Nov 2, 202625m 47s
Fix(ci,#23330): unpushed_commits confronte le HEAD au tip distant
cancelled:
CodeQL#1964:Pull request#24284openedbyjsboige
fix/23330-unpushed-remote-tip
Nov 2, 20268m 57s
Fix(gradebook,#24276): cle de doublon de la regle 5 normalisee, alignee sur le miroir C#
completed successfully:
CodeQL#1963:Pull request#24281openedbyjsboige
fix/gradebook-email-case
Nov 2, 202651m 41s
Fix(ci): la passe de metadonnees git ne doit plus dependre du reseau …
completed successfully:
CodeQL#1962:Commite574108pushedbymyia-ai-01
main
Nov 2, 20261h 29m 10s
Fix(gradebook,#24246): project_name -- un espace de tete ecartait un evaluateur inscrit
completed successfully:
CodeQL#1961:Pull request#24278openedbyjsboige
fix/gradebook-leading-space
Nov 2, 202629m 31s
Fix(guard,#15511): [ACTION]/[DIAG] entrent dans AGENT_PREFIXES du gate B.0
completed successfully:
CodeQL#1960:Pull request#24243synchronizebyjsboige
fix/15511-agent-action-prefix
Nov 2, 202638m 59s
Refactor(genai,#23553): Audio/04 en trois sous-series (Audiobook, Voix, Musique)
completed successfully:
CodeQL#1959:Pull request#24041synchronizebyjsboige
feature/23553-audio04-sous-series
Nov 2, 202647m 2s
Add(lean,#24183): organe de detection des theoremes en double entre l…
cancelled:
CodeQL#1958:Commit3f7ff9cpushedbymyia-ai-01
main
Nov 2, 202642m 13s
Refactor(genai,#23553): Audio/04 en trois sous-series (Audiobook, Voix, Musique)
cancelled:
CodeQL#1957:Pull request#24041synchronizebyjsboige
feature/23553-audio04-sous-series
Nov 2, 202634m 12s
Add(research,#21823): instrument de marge WS-00c — troisième cause me…
completed successfully:
CodeQL#1956:Commitb49e65epushedbymyia-ai-01
main
Nov 2, 20261h 25m 40s