Skip to content

Actions: vkobinski/benda-main

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Superpositions Benda CI #31: Commit 30a97f4 pushed by vkobinski
June 28, 2024 20:53 1m 37s master
master
June 28, 2024 20:53 1m 37s
Docs Benda CI #30: Commit fcc857d pushed by vkobinski
June 28, 2024 05:23 1m 14s master
master
June 28, 2024 05:23 1m 14s
Fixed to_list Benda CI #29: Commit d9fadb7 pushed by vkobinski
June 28, 2024 05:19 2m 40s master
master
June 28, 2024 05:19 2m 40s
Refactoring Benda CI #28: Commit 834c50f pushed by vkobinski
June 26, 2024 23:05 1m 10s master
master
June 26, 2024 23:05 1m 10s
Fixed type Benda CI #27: Commit b4f6a9d pushed by vkobinski
June 26, 2024 23:03 1m 11s master
master
June 26, 2024 23:03 1m 11s
TermParser Benda CI #26: Commit 286d395 pushed by vkobinski
June 26, 2024 19:58 1m 21s master
master
June 26, 2024 19:58 1m 21s
HVM output Benda CI #25: Commit d408a30 pushed by vkobinski
June 26, 2024 05:51 1m 15s master
master
June 26, 2024 05:51 1m 15s
Sat Solver example Benda CI #24: Commit 184c179 pushed by vkobinski
June 25, 2024 19:35 1m 13s master
master
June 25, 2024 19:35 1m 13s
Added all sorts from Bend repo Benda CI #23: Commit 24cc6f4 pushed by vkobinski
June 24, 2024 21:23 1m 29s master
master
June 24, 2024 21:23 1m 29s
New example Benda CI #22: Commit 500d2cb pushed by vkobinski
June 24, 2024 20:17 1m 11s master
master
June 24, 2024 20:17 1m 11s
to_list() for HVM result Benda CI #21: Commit 656135a pushed by vkobinski
June 24, 2024 14:28 1m 12s master
master
June 24, 2024 14:28 1m 12s
Nix Benda CI #20: Commit 46390b6 pushed by vkobinski
June 24, 2024 05:39 2m 16s master
master
June 24, 2024 05:39 2m 16s
Merge branch 'master' of https://github.com/vkobinski/benda-main Benda CI #19: Commit 00037de pushed by vkobinski
June 24, 2024 05:34 1m 12s master
master
June 24, 2024 05:34 1m 12s
Fixed Term parsing Benda CI #18: Commit e6454e8 pushed by vkobinski
June 24, 2024 05:00 1m 11s master
master
June 24, 2024 05:00 1m 11s
fmt Benda CI #17: Commit 77cc0d3 pushed by vkobinski
June 24, 2024 04:48 1m 12s master
master
June 24, 2024 04:48 1m 12s
Pattern Matching with desestructuring Benda CI #16: Commit f037280 pushed by vkobinski
June 24, 2024 04:48 1m 35s master
master
June 24, 2024 04:48 1m 35s
Syntax Benda CI #15: Commit f084a40 pushed by vkobinski
June 21, 2024 23:03 1m 26s master
master
June 21, 2024 23:03 1m 26s
Running quicksort example Benda CI #14: Commit 65acef4 pushed by vkobinski
June 21, 2024 23:01 1m 13s master
master
June 21, 2024 23:01 1m 13s
Remove CtrEnum Benda CI #13: Commit 1405203 pushed by vkobinski
June 20, 2024 23:34 1m 7s master
master
June 20, 2024 23:34 1m 7s
Working match with one case Benda CI #12: Commit 5d8d1ca pushed by vkobinski
June 20, 2024 23:29 1m 13s master
master
June 20, 2024 23:29 1m 13s
Merge remote-tracking branch 'upstream/master' into merge Benda CI #11: Commit ff1a2bb pushed by vkobinski
June 18, 2024 21:00 1m 11s master
master
June 18, 2024 21:00 1m 11s
Print Term Benda CI #10: Commit 50c9f65 pushed by vkobinski
June 18, 2024 20:51 1m 14s master
master
June 18, 2024 20:51 1m 14s
__str__ functions Benda CI #9: Commit 4009e0c pushed by vkobinski
June 17, 2024 14:27 1m 11s master
master
June 17, 2024 14:27 1m 11s
Bend has IO now Benda CI #8: Commit d5611df pushed by vkobinski
June 17, 2024 14:23 1m 44s master
master
June 17, 2024 14:23 1m 44s
Fixed bug Benda CI #7: Commit b5479e2 pushed by vkobinski
June 16, 2024 14:56 1m 26s master
master
June 16, 2024 14:56 1m 26s