Skip to content

Actions: crane-lang/crane

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
206 workflow runs
206 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Use resolver = "2" (#62)
CI #206: Commit 4ee8d3f pushed by github-merge-queue bot
December 27, 2023 20:34 3m 23s main
December 27, 2023 20:34 3m 23s
CI
CI #205: Merge group checks requested
December 27, 2023 20:30 3m 13s
December 27, 2023 20:30 3m 13s
Use resolver = "2"
CI #204: Pull request #62 opened by maxdeviant
December 27, 2023 20:27 3m 5s use-resolver-2
December 27, 2023 20:27 3m 5s
Flesh out README a bit (#61)
CI #203: Commit b166715 pushed by github-merge-queue bot
September 8, 2023 15:48 4m 36s main
September 8, 2023 15:48 4m 36s
CI
CI #202: Merge group checks requested
September 8, 2023 15:43 5m 5s
September 8, 2023 15:43 5m 5s
Flesh out README a bit
CI #201: Pull request #61 synchronize by maxdeviant
September 8, 2023 15:38 5m 3s flesh-out-readme
September 8, 2023 15:38 5m 3s
Flesh out README a bit
CI #200: Pull request #61 opened by maxdeviant
September 8, 2023 15:36 5m 7s flesh-out-readme
September 8, 2023 15:36 5m 7s
Explicitly represent () and Uint64 in type system (#60)
CI #199: Commit cec6ade pushed by github-merge-queue bot
July 1, 2023 15:41 1m 54s main
July 1, 2023 15:41 1m 54s
CI
CI #198: Merge group checks requested
July 1, 2023 15:39 1m 38s
July 1, 2023 15:39 1m 38s
Use Ty instead of Arc<TyKind> (#59)
CI #195: Commit 6c99195 pushed by github-merge-queue bot
July 1, 2023 15:19 1m 39s main
July 1, 2023 15:19 1m 39s
CI
CI #194: Merge group checks requested
July 1, 2023 15:17 2m 1s
July 1, 2023 15:17 2m 1s
Use Ty instead of Arc<TyKind>
CI #193: Pull request #59 opened by maxdeviant
July 1, 2023 15:15 1m 37s rename-type-to-ty
July 1, 2023 15:15 1m 37s
Revert type interning (#58)
CI #192: Commit 246df08 pushed by github-merge-queue bot
July 1, 2023 14:59 1m 52s main
July 1, 2023 14:59 1m 52s
CI
CI #191: Merge group checks requested
July 1, 2023 14:56 1m 51s
July 1, 2023 14:56 1m 51s
Revert type interning
CI #190: Pull request #58 opened by maxdeviant
July 1, 2023 14:54 1m 55s revert-type-interning
July 1, 2023 14:54 1m 55s
Ensure types are interned uniquely (#57)
CI #189: Commit ed20153 pushed by github-merge-queue bot
June 29, 2023 01:56 2m 4s main
June 29, 2023 01:56 2m 4s
CI
CI #188: Merge group checks requested
June 29, 2023 01:53 2m 3s
June 29, 2023 01:53 2m 3s
Add Fn variant to TyKind (#56)
CI #186: Commit bb76d7c pushed by github-merge-queue bot
June 28, 2023 03:40 1m 51s main
June 28, 2023 03:40 1m 51s
CI
CI #185: Merge group checks requested
June 28, 2023 03:38 1m 42s
June 28, 2023 03:38 1m 42s
Add Fn variant to TyKind
CI #184: Pull request #56 opened by maxdeviant
June 28, 2023 03:36 1m 53s add-fn-variant-to-ty-kind
June 28, 2023 03:36 1m 53s
Remove unused Environment struct (#55)
CI #183: Commit 7dcf5db pushed by github-merge-queue bot
June 28, 2023 01:36 1m 56s main
June 28, 2023 01:36 1m 56s
CI
CI #182: Merge group checks requested
June 28, 2023 01:33 2m 17s
June 28, 2023 01:33 2m 17s