Skip to content

Actions: softdevteam/alloy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
251 workflow runs
251 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.github/workflows/sdci.yml .github/workflows/sdci.yml #199: Merge group checks requested
November 26, 2024 14:53 10s
November 26, 2024 14:53 10s
Prevent raw pointer dereferences in finalizers .github/workflows/sdci.yml #198: Pull request #150 opened by jacob-hughes
November 26, 2024 14:41 14s jacob-hughes:fsa_raw_pointers
jacob-hughes:fsa_raw_pointers
November 26, 2024 14:41 14s
.github/workflows/sdci.yml .github/workflows/sdci.yml #197: Merge group checks requested
November 26, 2024 12:40 10s
November 26, 2024 12:40 10s
Emit FSA error for unions with manually drop fields .github/workflows/sdci.yml #196: Pull request #149 opened by jacob-hughes
November 26, 2024 12:04 11s jacob-hughes:fsa_unions
jacob-hughes:fsa_unions
November 26, 2024 12:04 11s
.github/workflows/sdci.yml .github/workflows/sdci.yml #195: Merge group checks requested
November 25, 2024 20:46 10s
November 25, 2024 20:46 10s
Make FinalizerSafe an internal only trait .github/workflows/sdci.yml #194: Pull request #148 opened by jacob-hughes
November 25, 2024 19:14 11s jacob-hughes:repurpose_finalizer_safe_trait
jacob-hughes:repurpose_finalizer_safe_trait
November 25, 2024 19:14 11s
.github/workflows/sdci.yml .github/workflows/sdci.yml #193: Merge group checks requested
November 21, 2024 23:35 9s
November 21, 2024 23:35 9s
Add compile-time option for logging Alloy stats .github/workflows/sdci.yml #192: Pull request #147 opened by jacob-hughes
November 21, 2024 23:07 15s jacob-hughes:experiment_stats
jacob-hughes:experiment_stats
November 21, 2024 23:07 15s
.github/workflows/sdci.yml .github/workflows/sdci.yml #191: Merge group checks requested
November 12, 2024 16:48 11s
November 12, 2024 16:48 11s
Fix soundness hole in FSA due to nested drops .github/workflows/sdci.yml #190: Pull request #146 opened by jacob-hughes
November 12, 2024 16:32 16s jacob-hughes:nested_drops
jacob-hughes:nested_drops
November 12, 2024 16:32 16s
.github/workflows/sdci.yml .github/workflows/sdci.yml #189: Merge group checks requested
November 12, 2024 08:27 15s
November 12, 2024 08:27 15s
.github/workflows/sdci.yml .github/workflows/sdci.yml #188: Merge group checks requested
November 12, 2024 07:24 9s
November 12, 2024 07:24 9s
.github/workflows/sdci.yml .github/workflows/sdci.yml #187: Merge group checks requested
November 12, 2024 07:23 10s
November 12, 2024 07:23 10s
Load monomorphized versions of MIR in FSA .github/workflows/sdci.yml #186: Pull request #144 synchronize by jacob-hughes
November 12, 2024 00:22 11s jacob-hughes:load_mono_mir
jacob-hughes:load_mono_mir
November 12, 2024 00:22 11s
s/RemoveGcDrops/RemoveElidableDrops .github/workflows/sdci.yml #185: Pull request #145 opened by jacob-hughes
November 12, 2024 00:03 11s jacob-hughes:rename_gc_drops
jacob-hughes:rename_gc_drops
November 12, 2024 00:03 11s
Load monomorphized versions of MIR in FSA .github/workflows/sdci.yml #184: Pull request #144 synchronize by jacob-hughes
November 11, 2024 23:34 13s jacob-hughes:load_mono_mir
jacob-hughes:load_mono_mir
November 11, 2024 23:34 13s
.github/workflows/sdci.yml .github/workflows/sdci.yml #183: Merge group checks requested
November 11, 2024 22:19 12s
November 11, 2024 22:19 12s
Load monomorphized versions of MIR in FSA .github/workflows/sdci.yml #182: Pull request #144 opened by jacob-hughes
November 11, 2024 21:37 10s jacob-hughes:load_mono_mir
jacob-hughes:load_mono_mir
November 11, 2024 21:37 10s
Perform FSA on a GC entry point's return type .github/workflows/sdci.yml #181: Pull request #143 opened by jacob-hughes
November 11, 2024 17:50 11s jacob-hughes:entry_point_return
jacob-hughes:entry_point_return
November 11, 2024 17:50 11s
.github/workflows/sdci.yml .github/workflows/sdci.yml #180: Merge group checks requested
November 11, 2024 15:19 11s
November 11, 2024 15:19 11s
Function call support for FSA .github/workflows/sdci.yml #179: Pull request #142 synchronize by jacob-hughes
November 11, 2024 15:15 13s jacob-hughes:fsa_fn_calls
jacob-hughes:fsa_fn_calls
November 11, 2024 15:15 13s
Function call support for FSA .github/workflows/sdci.yml #178: Pull request #142 synchronize by jacob-hughes
November 11, 2024 14:22 12s jacob-hughes:fsa_fn_calls
jacob-hughes:fsa_fn_calls
November 11, 2024 14:22 12s
Function call support for FSA .github/workflows/sdci.yml #177: Pull request #142 opened by jacob-hughes
November 11, 2024 14:17 20s jacob-hughes:fsa_fn_calls
jacob-hughes:fsa_fn_calls
November 11, 2024 14:17 20s
.github/workflows/sdci.yml .github/workflows/sdci.yml #176: Merge group checks requested
November 10, 2024 22:43 11s
November 10, 2024 22:43 11s
Prepare FSA errors to support traversing calls inside drops. .github/workflows/sdci.yml #175: Pull request #141 opened by jacob-hughes
November 10, 2024 21:32 11s jacob-hughes:fn_accurate_fsa_errors
jacob-hughes:fn_accurate_fsa_errors
November 10, 2024 21:32 11s