1 Open Issue Need Help Last updated: Sep 24, 2025

Open Issues Need Help

View All on GitHub

AI Summary: This GitHub issue reports that CI workflows are running twice for every update to a pull request. This redundancy is due to the `on: [ push, pull_request ]` trigger configuration, which causes both events to fire. The proposed solution is to refine the triggers so that `push` only runs on the `main` branch, while `pull_request` handles PR-specific events, eliminating duplicate runs.

Complexity: 1/5
good first issue

A compiler for functional programs on serialized data

C