Skip to content

Actions: katamaran-project/sail-backend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92 workflow runs
92 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test_clashing_binders_3
Build Sail Backend #92: Commit 49a5e93 pushed by fvogels
February 12, 2025 16:09 1m 1s master
February 12, 2025 16:09 1m 1s
added warning when renaming
Build Sail Backend #91: Commit aac6d58 pushed by fvogels
February 11, 2025 21:35 52s master
February 11, 2025 21:35 52s
fixed test_clashing_binders
Build Sail Backend #90: Commit 5f901da pushed by fvogels
February 11, 2025 16:17 1m 2s master
February 11, 2025 16:17 1m 2s
updated test_clashing_binders
Build Sail Backend #89: Commit 8bee41d pushed by fvogels
February 10, 2025 16:36 53s master
February 10, 2025 16:36 53s
fixed bug in Match
Build Sail Backend #88: Commit e0818dd pushed by fvogels
February 6, 2025 16:45 1m 17s master
February 6, 2025 16:45 1m 17s
simplification
Build Sail Backend #87: Commit 0e02f11 pushed by fvogels
February 5, 2025 19:03 56s master
February 5, 2025 19:03 56s
closes #43
Build Sail Backend #86: Commit dcdc884 pushed by fvogels
February 5, 2025 15:12 1m 6s master
February 5, 2025 15:12 1m 6s
added skip_if to failing tests
Build Sail Backend #85: Commit 7a2a178 pushed by fvogels
February 4, 2025 16:22 1m 0s master
February 4, 2025 16:22 1m 0s
fixed test
Build Sail Backend #84: Commit 1b5dc50 pushed by fvogels
February 4, 2025 16:20 1m 7s master
February 4, 2025 16:20 1m 7s
updated test
Build Sail Backend #83: Commit 9295df9 pushed by fvogels
February 4, 2025 15:51 1m 1s master
February 4, 2025 15:51 1m 1s
updated configuration of msp/full
Build Sail Backend #82: Commit d247963 pushed by fvogels
February 4, 2025 11:43 59s master
February 4, 2025 11:43 59s
upgrade_unused_binders_to_wildcards
Build Sail Backend #81: Commit 5f23358 pushed by fvogels
February 3, 2025 18:28 1m 2s master
February 3, 2025 18:28 1m 2s
removed redundant code from Function
Build Sail Backend #80: Commit 6c499b2 pushed by fvogels
February 3, 2025 14:23 1m 2s master
February 3, 2025 14:23 1m 2s
updated test
Build Sail Backend #79: Commit 79eb575 pushed by fvogels
February 2, 2025 22:41 57s master
February 2, 2025 22:41 57s
closes #24
Build Sail Backend #78: Commit 4c71743 pushed by fvogels
February 2, 2025 16:08 1m 1s master
February 2, 2025 16:08 1m 1s
removed todo
Build Sail Backend #77: Commit 8277e17 pushed by fvogels
February 1, 2025 16:29 1m 3s master
February 1, 2025 16:29 1m 3s
closes #31
Build Sail Backend #76: Commit f8eb259 pushed by fvogels
January 31, 2025 23:51 1m 8s master
January 31, 2025 23:51 1m 8s
wip
Build Sail Backend #75: Commit f0e17df pushed by fvogels
January 30, 2025 16:24 55s master
January 30, 2025 16:24 55s
test_failure_due_to_clashing_field_binders
Build Sail Backend #74: Commit 8cb973d pushed by fvogels
January 29, 2025 22:02 1m 11s master
January 29, 2025 22:02 1m 11s
wip variant matching with wildcards/bindings
Build Sail Backend #73: Commit 440a578 pushed by fvogels
January 29, 2025 16:24 1m 8s master
January 29, 2025 16:24 1m 8s
fixed test
Build Sail Backend #72: Commit 734a13a pushed by fvogels
January 28, 2025 22:06 1m 13s master
January 28, 2025 22:06 1m 13s
support for nullary variant constructors
Build Sail Backend #71: Commit 9e0532a pushed by fvogels
January 28, 2025 16:31 1m 5s master
January 28, 2025 16:31 1m 5s
layout
Build Sail Backend #70: Commit 02b98fc pushed by fvogels
January 27, 2025 20:19 1m 14s master
January 27, 2025 20:19 1m 14s
fixed test descriptions
Build Sail Backend #69: Commit 5fabef1 pushed by fvogels
January 27, 2025 20:06 1m 8s master
January 27, 2025 20:06 1m 8s
test_build_match_for_enum_8
Build Sail Backend #68: Commit b7caa19 pushed by fvogels
January 27, 2025 19:32 57s master
January 27, 2025 19:32 57s