Skip to content

Actions: softdevteam/alloy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
226 workflow runs
226 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.github/workflows/sdci.yml .github/workflows/sdci.yml #212: Merge group checks requested
January 10, 2025 10:25 9s
January 10, 2025 10:25 9s
More compile options .github/workflows/sdci.yml #211: Pull request #154 synchronize by jacob-hughes
January 10, 2025 10:15 11s jacob-hughes:alloy_compile_opts_2
jacob-hughes:alloy_compile_opts_2
January 10, 2025 10:15 11s
More compile options .github/workflows/sdci.yml #210: Pull request #154 synchronize by jacob-hughes
January 10, 2025 10:08 14s jacob-hughes:alloy_compile_opts_2
jacob-hughes:alloy_compile_opts_2
January 10, 2025 10:08 14s
.github/workflows/sdci.yml .github/workflows/sdci.yml #209: Merge group checks requested
January 10, 2025 09:29 9s
January 10, 2025 09:29 9s
More compile options .github/workflows/sdci.yml #208: Pull request #154 opened by jacob-hughes
January 10, 2025 09:00 11s jacob-hughes:alloy_compile_opts_2
jacob-hughes:alloy_compile_opts_2
January 10, 2025 09:00 11s
.github/workflows/sdci.yml .github/workflows/sdci.yml #207: Merge group checks requested
January 9, 2025 18:00 11s
January 9, 2025 18:00 11s
Add compile time flags for Alloy features .github/workflows/sdci.yml #206: Pull request #153 opened by jacob-hughes
January 9, 2025 16:31 12s jacob-hughes:add_alloy_compile_opts
jacob-hughes:add_alloy_compile_opts
January 9, 2025 16:31 12s
.github/workflows/sdci.yml .github/workflows/sdci.yml #205: Merge group checks requested
December 2, 2024 14:53 11s
December 2, 2024 14:53 11s
Revert "Disable yksom on CI" .github/workflows/sdci.yml #204: Pull request #152 synchronize by jacob-hughes
December 2, 2024 14:51 13s jacob-hughes:reenable_yksom_ci
jacob-hughes:reenable_yksom_ci
December 2, 2024 14:51 13s
.github/workflows/sdci.yml .github/workflows/sdci.yml #203: Merge group checks requested
December 2, 2024 11:26 12s
December 2, 2024 11:26 12s
Use FSA to check for thread-locals .github/workflows/sdci.yml #202: Pull request #151 synchronize by jacob-hughes
December 2, 2024 11:25 11s jacob-hughes:thread_local_checks
jacob-hughes:thread_local_checks
December 2, 2024 11:25 11s
Revert "Disable yksom on CI" .github/workflows/sdci.yml #201: Pull request #152 opened by jacob-hughes
December 2, 2024 11:16 10s jacob-hughes:reenable_yksom_ci
jacob-hughes:reenable_yksom_ci
December 2, 2024 11:16 10s
Use FSA to check for thread-locals .github/workflows/sdci.yml #200: Pull request #151 opened by jacob-hughes
December 2, 2024 11:15 12s jacob-hughes:thread_local_checks
jacob-hughes:thread_local_checks
December 2, 2024 11:15 12s
.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