Skip to content

Actions: TroupeLang/Troupe

Build docker image and push to registry

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
39 workflow runs
39 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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
Fix localPeerId to be a string
Build docker image and push to registry #71: Commit 2b14fe5 pushed by AnnaBlume99
August 14, 2023 12:22 2s p2p-refactor
August 14, 2023 12:22 2s
Delete old files
Build docker image and push to registry #70: Commit c81c78c pushed by AnnaBlume99
August 11, 2023 09:17 3s p2p-refactor
August 11, 2023 09:17 3s
Clean up makefile
Build docker image and push to registry #68: Commit edb1a02 pushed by AnnaBlume99
July 21, 2023 09:12 3s p2p-refactor
July 21, 2023 09:12 3s
Remove old relay files
Build docker image and push to registry #67: Commit 8b6c931 pushed by AnnaBlume99
July 21, 2023 09:02 2s p2p-refactor
July 21, 2023 09:02 2s
Add kad-DHT routing
Build docker image and push to registry #66: Commit c39860a pushed by AnnaBlume99
July 21, 2023 08:54 3s p2p-refactor
July 21, 2023 08:54 3s
Refactor and comment everything
Build docker image and push to registry #65: Commit ab08fd3 pushed by AnnaBlume99
July 20, 2023 10:09 3s p2p-refactor
July 20, 2023 10:09 3s