chapel-ci

571 workflow runs

feat(assail): line-anchor Lean/Isabelle sorry findings so inline mark…
completed successfully:
chapel-ci#571:Commit36f1055pushedbyhyperpolymath
main
Nov 10, 202623s
feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply
completed successfully:
chapel-ci#570:Pull request#278synchronizebyhyperpolymath
claude/compassionate-fermat-9x7vpe-proofdrift-lines
Nov 10, 202623s
feat(publish): prototype generation-directory publish (not wired), wi…
completed successfully:
chapel-ci#569:Commitd4a68edpushedbyhyperpolymath
main
Nov 9, 202622s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
chapel-ci#568:Pull request#275synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202625s
fix(abi): type-check the Idris2 proofs in CI and re-prove line-commen…
completed successfully:
chapel-ci#567:Commite12b823pushedbyhyperpolymath
main
Nov 9, 202659s
fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping
completed successfully:
chapel-ci#566:Pull request#281synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-n-idris-abi-ci
Nov 9, 202625s
fix(assail): refuse an unwritable KYAML copy or sidecar before replac…
cancelled:
chapel-ci#565:Commit671c3a9pushedbyhyperpolymath
main
Nov 9, 20263m 55s
fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report
completed successfully:
chapel-ci#564:Pull request#274synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-m-companion-writable
Nov 9, 20266m 15s
fix(deps): move futures-util to 0.3.34, dropping pin-utils (#273)
completed successfully:
chapel-ci#563:Commit39db4e3pushedbyhyperpolymath
main
Nov 9, 20265m 40s
chore(deps): bump the actions group across 1 directory with 4 updates
completed successfully:
chapel-ci#562:Pull request#284openedbydependabot[bot]Bot
dependabot/github_actions/actions-bfe1b08dbd
Nov 9, 202626s
feat(assail): route languages through a tested table; retire the vacuous PA1
completed successfully:
chapel-ci#561:Pull request#282openedbyhyperpolymath
claude/pa1-routing-table
Nov 9, 20265m 37s
ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths
completed successfully:
chapel-ci#560:Pull request#279synchronizebyhyperpolymath
claude/abi-idris2-gate
Nov 9, 202634s
fix(abi): repair the Idris2 proofs and record proof status against the policy
completed successfully:
chapel-ci#559:Pull request#277synchronizebyhyperpolymath
claude/proof-status-reconcile
Nov 9, 202632s
ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths
completed successfully:
chapel-ci#558:Pull request#279synchronizebyhyperpolymath
claude/abi-idris2-gate
Nov 9, 202629s
fix(abi): repair the Idris2 proofs and record proof status against the policy
completed successfully:
chapel-ci#557:Pull request#277synchronizebyhyperpolymath
claude/proof-status-reconcile
Nov 9, 202636s
fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping
completed successfully:
chapel-ci#556:Pull request#281openedbyhyperpolymath
claude/gallant-bell-4bo4oy-n-idris-abi-ci
Nov 9, 202631s
feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply
completed successfully:
chapel-ci#555:Pull request#278synchronizebyhyperpolymath
claude/compassionate-fermat-9x7vpe-proofdrift-lines
Nov 9, 202632s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
chapel-ci#554:Pull request#275synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202628s
ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths
completed successfully:
chapel-ci#553:Pull request#279openedbyhyperpolymath
claude/abi-idris2-gate
Nov 9, 202635s
feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply
completed successfully:
chapel-ci#552:Pull request#278openedbyhyperpolymath
claude/compassionate-fermat-9x7vpe-proofdrift-lines
Nov 9, 202639s
fix(abi): repair the Idris2 proofs and record proof status against the policy
completed successfully:
chapel-ci#551:Pull request#277openedbyhyperpolymath
claude/proof-status-reconcile
Nov 9, 202640s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
chapel-ci#550:Pull request#275synchronizebyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202626s
feat(publish): prototype generation-directory publish (not wired), with experiments and a model check
completed successfully:
chapel-ci#549:Pull request#275openedbyhyperpolymath
claude/gallant-bell-4bo4oy-l-gen-dir
Nov 9, 202626s
fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report
completed successfully:
chapel-ci#548:Pull request#274openedbyhyperpolymath
claude/gallant-bell-4bo4oy-m-companion-writable
Nov 9, 20266m 4s
fix(deps): move futures-util to 0.3.34, dropping pin-utils
completed successfully:
chapel-ci#547:Pull request#273openedbyhyperpolymath
claude/futures-util-drop-pin-utils
Nov 9, 20265m 36s