Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,263 workflow runs
1,263 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
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #1068: Pull request #93 synchronize by coeff-aij
1m 21s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 21s
Support static array literals, &[T;N] → &[T] coercion, and &mut [T] element writes .github/workflows/ci.yml #1067: Pull request #123 synchronize by coord-e
1m 33s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 33s
feat: rewrite (*s)[idx]=val via synthetic index_mut call in analyze_s… .github/workflows/ci.yml #1066: Commit dc6c43d pushed by coord-e
1m 26s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 26s
Support static array literals, &[T;N] → &[T] coercion, and &mut [T] element writes .github/workflows/ci.yml #1065: Pull request #123 synchronize by coord-e
3m 25s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
3m 25s
refactor: rewrite (*s)[idx]=val via index_mut in ReborrowVisitor .github/workflows/ci.yml #1064: Commit 9a73939 pushed by coord-e
1m 57s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 57s
Support static array literals, &[T;N] → &[T] coercion, and &mut [T] element writes .github/workflows/ci.yml #1063: Pull request #123 synchronize by coord-e
1m 19s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 19s
chore: ignore rustc temporary output files .github/workflows/ci.yml #1062: Commit 7f1d189 pushed by coord-e
1m 25s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 25s
Support static array literals, &[T;N] → &[T] coercion, and &mut [T] element writes .github/workflows/ci.yml #1061: Pull request #123 synchronize by coord-e
1m 22s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 22s
refactor: route (*s)[idx]=val through index_mut extern spec via rebor… .github/workflows/ci.yml #1060: Commit e84b2c8 pushed by coord-e
1m 27s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 27s
Support static array literals, &[T;N] → &[T] coercion, and &mut [T] element writes .github/workflows/ci.yml #1059: Pull request #123 synchronize by coord-e
1m 19s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 19s
Mutable slice support: element write through &mut [T] .github/workflows/ci.yml #1058: Commit ba8f02d pushed by coord-e
1m 25s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 25s
Support static array literals, &[T;N] → &[T] coercion, and &mut [T] element writes .github/workflows/ci.yml #1057: Pull request #123 synchronize by coord-e
1m 21s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 21s
[&mut T] support: CopyForDeref, mir::Const::Ty, and read through &mut… .github/workflows/ci.yml #1056: Commit 92f553d pushed by coord-e
1m 30s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 30s
Support static array literals, &[T;N] → &[T] coercion, and &mut [T] element writes .github/workflows/ci.yml #1055: Pull request #123 synchronize by coord-e
1m 30s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 30s
Mutable slice support: RawPtr(FakeForPtrMetadata) and PtrMetadata on … .github/workflows/ci.yml #1054: Commit 5ced28a pushed by coord-e
1m 33s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 33s
Support static array literals, &[T;N] → &[T] coercion, and &mut [T] element writes .github/workflows/ci.yml #1053: Pull request #123 synchronize by coord-e
1m 30s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 30s
Coercion support: &[T;N] → &[T] unsize coercion is identity on Seq<T> .github/workflows/ci.yml #1052: Commit fec1c05 pushed by coord-e
1m 30s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 30s
Support static array literals, &[T;N] → &[T] coercion, and &mut [T] element writes .github/workflows/ci.yml #1051: Pull request #123 synchronize by coord-e
1m 31s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 31s
Coercion support: &[T;N] → &[T] unsize coercion is identity on Seq<T> .github/workflows/ci.yml #1050: Commit ac84456 pushed by coord-e
1m 28s claude/static-arrays-slices-y6hmtr
claude/static-arrays-slices-y6hmtr
1m 28s
Use Seq<T> as the model of Vec<T> .github/workflows/ci.yml #1049: Commit f087497 pushed by coord-e
1m 19s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 19s
Merge pull request #143 from coord-e/claude/nifty-newton-wfxz2e .github/workflows/docs.yml #101: Commit c74b45f pushed by coord-e
56s main
main
56s
Merge pull request #143 from coord-e/claude/nifty-newton-wfxz2e .github/workflows/ci.yml #1048: Commit c74b45f pushed by coord-e
1m 24s main
main
1m 24s
Add Seq<T> as a model of Vec<T> .github/workflows/ci.yml #1047: Pull request #143 synchronize by coord-e
1m 31s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 31s
Use Seq<T> as the model of Vec<T> .github/workflows/ci.yml #1046: Commit f678f8c pushed by coord-e
1m 26s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 26s
Add Seq<T> as a model of Vec<T> .github/workflows/ci.yml #1045: Pull request #143 synchronize by coord-e
1m 32s claude/nifty-newton-wfxz2e
claude/nifty-newton-wfxz2e
1m 32s