Skip to content

Actions: hackworthltd/primer

Actions

Push Docker image to ghcr.io

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-to-ghcr.yaml
157 workflow runs
157 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: always build wasm32 targets with -O2 (#1197) Push Docker image to ghcr.io #185: Commit 6ad641f pushed by github-merge-queue bot
December 31, 2023 20:55 2m 1s main
main
December 31, 2023 20:55 2m 1s
chore: get the wasm32 build working again (#1195) Push Docker image to ghcr.io #184: Commit fd7437b pushed by github-merge-queue bot
December 31, 2023 17:24 1m 43s main
main
December 31, 2023 17:24 1m 43s
feat: interpreter (faster evaluator-to-normal-form) (#1187) Push Docker image to ghcr.io #183: Commit 6b8368f pushed by github-merge-queue bot
December 5, 2023 20:55 1m 40s main
main
December 5, 2023 20:55 1m 40s
fix: make Wasm upstream overrides dependent on arch(wasm32) (#1191) Push Docker image to ghcr.io #182: Commit 9865b85 pushed by github-merge-queue bot
November 30, 2023 18:31 2m 12s main
main
November 30, 2023 18:31 2m 12s
fix: fix up Makefiles (#1189) Push Docker image to ghcr.io #181: Commit ad649fb pushed by github-merge-queue bot
November 30, 2023 12:01 1m 45s main
main
November 30, 2023 12:01 1m 45s
Output separate nodes for variable bindings (#1183) Push Docker image to ghcr.io #180: Commit 4d3f7e2 pushed by github-merge-queue bot
November 30, 2023 11:52 1m 48s main
main
November 30, 2023 11:52 1m 48s
wasm32-wasi support (#1179) Push Docker image to ghcr.io #179: Commit af21875 pushed by github-merge-queue bot
November 29, 2023 16:46 1m 43s main
main
November 29, 2023 16:46 1m 43s
chore: Disable animations support (#1186) Push Docker image to ghcr.io #178: Commit 5d5d158 pushed by github-merge-queue bot
November 29, 2023 14:05 2m 15s main
main
November 29, 2023 14:05 2m 15s
Allow deleting an in-use term definition (#1182) Push Docker image to ghcr.io #177: Commit 9d637ea pushed by github-merge-queue bot
November 28, 2023 17:24 2m 14s main
main
November 28, 2023 17:24 2m 14s
Allow typedef deletions regardless of whether type is in use (#1153) Push Docker image to ghcr.io #176: Commit 4db7bf8 pushed by github-merge-queue bot
November 28, 2023 11:43 1m 51s main
main
November 28, 2023 11:43 1m 51s
fix: Default to black fill color for shapes in animations (#1178) Push Docker image to ghcr.io #175: Commit 4a105b7 pushed by github-merge-queue bot
November 22, 2023 15:38 2m 8s main
main
November 22, 2023 15:38 2m 8s
fix: Add primer- prefix to service test suite (#1177) Push Docker image to ghcr.io #174: Commit fe81466 pushed by github-merge-queue bot
November 22, 2023 12:49 1m 37s main
main
November 22, 2023 12:49 1m 37s
feat: Add flavor annotations to edges in API trees (#1176) Push Docker image to ghcr.io #173: Commit 284fee9 pushed by github-merge-queue bot
November 22, 2023 12:42 1m 32s main
main
November 22, 2023 12:42 1m 32s
chore: switch from uuid to uuid-types (#1174) Push Docker image to ghcr.io #172: Commit 7c016a0 pushed by github-merge-queue bot
November 22, 2023 12:14 2m 15s main
main
November 22, 2023 12:14 2m 15s
Animations (#1164) Push Docker image to ghcr.io #171: Commit e8e9f14 pushed by github-merge-queue bot
November 22, 2023 10:58 1m 52s main
main
November 22, 2023 10:58 1m 52s
feat!: API gives more details on mismatched types (#1172) Push Docker image to ghcr.io #170: Commit 9623693 pushed by github-merge-queue bot
November 20, 2023 13:55 1m 46s main
main
November 20, 2023 13:55 1m 46s
chore: Remove stray comment about NodeFlavor being split (#1175) Push Docker image to ghcr.io #169: Commit fed7773 pushed by github-merge-queue bot
November 15, 2023 19:06 1m 57s main
main
November 15, 2023 19:06 1m 57s
test: multiple requests succeed (#1167) Push Docker image to ghcr.io #168: Commit 6fe366c pushed by github-merge-queue bot
October 31, 2023 16:29 2m 32s main
main
October 31, 2023 16:29 2m 32s
Ensure API calls do not introduce shadowing (#559) Push Docker image to ghcr.io #167: Commit f903028 pushed by github-merge-queue bot
October 25, 2023 09:43 2m 12s main
main
October 25, 2023 09:43 2m 12s
doc: fix a stale comment that implied we don't support polymorphsim (… Push Docker image to ghcr.io #166: Commit 3650822 pushed by github-merge-queue bot
October 24, 2023 17:09 2m 40s main
main
October 24, 2023 17:09 2m 40s
chore(deps): bump cachix/install-nix-action from 22 to 23 Push Docker image to ghcr.io #165: Commit 8ed5f2a pushed by dhess
October 17, 2023 14:53 2m 23s main
main
October 17, 2023 14:53 2m 23s
chore(deps): bump docker/login-action from 2.2.0 to 3.0.0 Push Docker image to ghcr.io #164: Commit be34fd2 pushed by dhess
October 17, 2023 14:53 2m 34s main
main
October 17, 2023 14:53 2m 34s
chore(deps): bump actions/checkout from 3.6.0 to 4.1.0 Push Docker image to ghcr.io #163: Commit 2f87e64 pushed by dhess
October 17, 2023 14:51 2m 10s main
main
October 17, 2023 14:51 2m 10s
chore: remove GHC 9.6.2 spurious warning workarounds (#1162) Push Docker image to ghcr.io #162: Commit a482844 pushed by github-merge-queue bot
October 9, 2023 15:11 1m 59s main
main
October 9, 2023 15:11 1m 59s
chore: bump Hackage index state and build with GHC 9.6.3 (#1161) Push Docker image to ghcr.io #161: Commit 2498ca9 pushed by github-merge-queue bot
October 9, 2023 14:49 2m 35s main
main
October 9, 2023 14:49 2m 35s