Skip to content

Actions: cau-placc/curry-frontend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add simple let inlining and case-of-known optimizations
CI #25: Pull request #151 synchronize by Ziharrk
July 4, 2025 06:10 1m 8s simpl_opt
July 4, 2025 06:10 1m 8s
Merge branch 'master' into simpl_opt
CI #24: Commit 0798684 pushed by Ziharrk
July 4, 2025 06:10 1m 7s simpl_opt
July 4, 2025 06:10 1m 7s
Add an CI-optimized makefile target
CI #23: Commit fbe7a71 pushed by Ziharrk
July 4, 2025 06:04 1m 18s master
July 4, 2025 06:04 1m 18s
Add simple let inlining and case-of-known optimizations
CI #13: Pull request #151 synchronize by Ziharrk
July 4, 2025 05:34 5m 58s simpl_opt
July 4, 2025 05:34 5m 58s
Merge branch 'master' into simpl_opt
CI #12: Commit 4335351 pushed by Ziharrk
July 4, 2025 05:34 6m 13s simpl_opt
July 4, 2025 05:34 6m 13s
Use cache instead of build artifact
CI #11: Commit 766b5bd pushed by Ziharrk
July 4, 2025 05:26 7m 14s master
July 4, 2025 05:26 7m 14s
Try improving the CI config
CI #10: Commit 14925fb pushed by Ziharrk
July 1, 2025 13:38 6m 6s master
July 1, 2025 13:38 6m 6s
Remove Gitlab CI config
CI #9: Commit f9ac2e5 pushed by Ziharrk
July 1, 2025 13:35 4m 19s master
July 1, 2025 13:35 4m 19s
Add simple let inlining and case-of-known optimizations
CI #8: Pull request #151 synchronize by Ziharrk
July 1, 2025 13:29 8m 25s simpl_opt
July 1, 2025 13:29 8m 25s
Add simple let inlining and case-of-known optimizations
CI #7: Pull request #151 synchronize by Ziharrk
July 1, 2025 11:57 8m 25s simpl_opt
July 1, 2025 11:57 8m 25s
Add simple let inlining and case-of-known optimizations
CI #6: Pull request #151 synchronize by Ziharrk
July 1, 2025 11:54 8m 18s simpl_opt
July 1, 2025 11:54 8m 18s
Add simple let inlining and case-of-known optimizations
CI #5: Pull request #151 opened by Ziharrk
July 1, 2025 09:52 1h 39m 8s simpl_opt
July 1, 2025 09:52 1h 39m 8s
Fix Github workflow v3
CI #4: Commit 3b092e9 pushed by Ziharrk
June 21, 2025 12:50 9m 2s master
June 21, 2025 12:50 9m 2s
Fix Github workflow v2
CI #3: Commit 4e513b5 pushed by Ziharrk
June 21, 2025 12:46 48s master
June 21, 2025 12:46 48s
Fix Github workflow
CI #2: Commit 6b04528 pushed by Ziharrk
June 21, 2025 12:44 48s master
June 21, 2025 12:44 48s
Add github workflow
CI #1: Commit f414446 pushed by Ziharrk
June 21, 2025 12:35 42s master
June 21, 2025 12:35 42s