Skip to content

Actions: TroupeLang/Troupe

Build docker image and push to registry

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #39 from felixwiemuth/sparsebit-improvements
Build docker image and push to registry #96: Commit f969c74 pushed by aslanix
October 10, 2024 07:44 2s dev
dev
October 10, 2024 07:44 2s
cherry pick changes to the lists lib
Build docker image and push to registry #95: Commit a5d361c pushed by aslanix
August 23, 2024 09:46 3s dev
dev
August 23, 2024 09:46 3s
Merge pull request #37 from LukasNysted/dev-prop
Build docker image and push to registry #94: Commit 982a514 pushed by aslanix
August 23, 2024 08:24 2s dev-prop
August 23, 2024 08:24 2s
Merge pull request #36 from PeaceMonster/dev
Build docker image and push to registry #93: Commit 44c944d pushed by aslanix
August 23, 2024 08:23 2s dev-raft-2024
August 23, 2024 08:23 2s
clarifying contributing.md
Build docker image and push to registry #92: Commit 1fff4a0 pushed by aslanix
August 23, 2024 08:23 3s dev-raft-2024
August 23, 2024 08:23 3s
clarifying contributing.md
Build docker image and push to registry #91: Commit 1fff4a0 pushed by aslanix
August 16, 2024 09:02 2s dev
dev
August 16, 2024 09:02 2s
adding contributing file
Build docker image and push to registry #90: Commit d3224c5 pushed by aslanix
August 16, 2024 07:06 2s dev
dev
August 16, 2024 07:06 2s
changing the precedence of the semicolon w.r.t else to make it more c…
Build docker image and push to registry #89: Commit b7e6532 pushed by aslanix
April 15, 2024 11:20 3s dev
dev
April 15, 2024 11:20 3s
Merge pull request #32 from felixwiemuth/fix/change-max-index
Build docker image and push to registry #88: Commit 78ac672 pushed by aslanix
April 9, 2024 10:50 2s dev
dev
April 9, 2024 10:50 2s
Merge pull request #31 from felixwiemuth/feature/unopt-testrun
Build docker image and push to registry #87: Commit 923fa90 pushed by aslanix
April 9, 2024 10:50 1s dev
dev
April 9, 2024 10:50 1s
Merge pull request #30 from felixwiemuth/update-stack-lts
Build docker image and push to registry #86: Commit 876fd8f pushed by aslanix
April 9, 2024 10:49 3s dev
dev
April 9, 2024 10:49 3s
adding type reflection operator
Build docker image and push to registry #85: Commit e60c6a8 pushed by aslanix
March 18, 2024 10:11 2s dev
dev
March 18, 2024 10:11 2s
adding type reflection operator
Build docker image and push to registry #84: Commit e60c6a8 pushed by aslanix
March 18, 2024 10:10 2s dev-prop
March 18, 2024 10:10 2s
adding record reflection - new function recordExtend and a correspond…
Build docker image and push to registry #83: Commit 0c0e8d1 pushed by aslanix
March 11, 2024 10:28 2s dev-prop
March 11, 2024 10:28 2s
adding record reflection - new function recordExtend and a correspond…
Build docker image and push to registry #82: Commit 0c0e8d1 pushed by aslanix
March 11, 2024 10:27 2s dev
dev
March 11, 2024 10:27 2s
gitignore
Build docker image and push to registry #81: Commit e0701c4 pushed by aslanix
March 11, 2024 09:21 2s dev-prop
March 11, 2024 09:21 2s
Merge pull request #29 from felixwiemuth/ir2raw-revision
Build docker image and push to registry #80: Commit 0ccee35 pushed by aslanix
February 19, 2024 10:45 1s dev
dev
February 19, 2024 10:45 1s
Merge pull request #28 from felixwiemuth/dev-master-merged
Build docker image and push to registry #79: Commit 0dea01a pushed by aslanix
February 19, 2024 10:45 14s master
February 19, 2024 10:45 14s
Merge branch 'dev-prop' into dev
Build docker image and push to registry #78: Commit 479bc4a pushed by aslanix
February 19, 2024 10:19 2s dev
dev
February 19, 2024 10:19 2s
sqrt
Build docker image and push to registry #77: Commit db4e665 pushed by aslanix
February 19, 2024 10:02 2s dev-prop
February 19, 2024 10:02 2s
sqrt
Build docker image and push to registry #76: Commit 414cc82 pushed by aslanix
February 19, 2024 09:59 3s dev-prop
February 19, 2024 09:59 3s
very rudimentary mechanism for inducing failures
Build docker image and push to registry #75: Commit f6de39f pushed by aslanix
February 12, 2024 12:08 2s dev-with-failures
February 12, 2024 12:08 2s
Revert "Add Parser.hs to .gitignore"
Build docker image and push to registry #74: Commit a979eea pushed by aslanix
December 8, 2023 12:22 10m 20s master
December 8, 2023 12:22 10m 20s
Fix tests
Build docker image and push to registry #73: Commit b8d1636 pushed by aslanix
November 9, 2023 09:30 3s dev
dev
November 9, 2023 09:30 3s
Fix tests
Build docker image and push to registry #72: Commit e2817cc pushed by AnnaBlume99
August 14, 2023 12:49 3s p2p-refactor
August 14, 2023 12:49 3s