Skip to content

Actions: hackworthltd/primer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
919 workflow runs
919 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: tcWholeProg updates metadata of ADT parameter selections Check DCO #398: Pull request #1138 opened by brprice
September 11, 2023 15:39 16s brprice/tc-update-adt-param-meta
brprice/tc-update-adt-param-meta
September 11, 2023 15:39 16s
feat: ConstructKType needs a hole (#1135) Benchmark regression checks #223: Commit 4ea7a18 pushed by github-merge-queue bot
September 11, 2023 14:09 1m 22s main
main
September 11, 2023 14:09 1m 22s
feat: ConstructKType needs a hole (#1135) Push Docker image to ghcr.io #141: Commit 4ea7a18 pushed by github-merge-queue bot
September 11, 2023 14:09 2m 4s main
main
September 11, 2023 14:09 2m 4s
fix: tcWholeProg updates metadata of ADT parameter selections Check DCO #397: Pull request #1137 opened by brprice
September 11, 2023 13:58 12s brprice/tc-update-adt-param-meta
brprice/tc-update-adt-param-meta
September 11, 2023 13:58 12s
refactor: applyActionsToTypeSig returns TypeZip, not TypeZ (#1132) Benchmark regression checks #222: Commit b74d29b pushed by github-merge-queue bot
September 11, 2023 13:55 1m 48s main
main
September 11, 2023 13:55 1m 48s
refactor: applyActionsToTypeSig returns TypeZip, not TypeZ (#1132) Push Docker image to ghcr.io #140: Commit b74d29b pushed by github-merge-queue bot
September 11, 2023 13:55 3m 6s main
main
September 11, 2023 13:55 3m 6s
fix: nextProgID cares about ids in typedefs Check DCO #396: Pull request #1134 synchronize by brprice
September 11, 2023 13:51 13s brprice/nextProgID-typedef
brprice/nextProgID-typedef
September 11, 2023 13:51 13s
fix: nextProgID cares about ids in typedefs Check DCO #395: Pull request #1134 synchronize by brprice
September 11, 2023 13:47 17s brprice/nextProgID-typedef
brprice/nextProgID-typedef
September 11, 2023 13:47 17s
Check DCO Check DCO #394: Merge group checks requested
September 11, 2023 13:40 14s
September 11, 2023 13:40 14s
Check DCO Check DCO #393: Merge group checks requested
September 11, 2023 13:40 13s
September 11, 2023 13:40 13s
Update Nix dependencies. Update Nix dependencies. #218: Scheduled
September 9, 2023 03:01 39s main
main
September 9, 2023 03:01 39s
feat: display and edit kinds on foralls Check DCO #392: Pull request #1120 synchronize by brprice
September 7, 2023 14:06 15s brprice/forall-kind-edit
brprice/forall-kind-edit
September 7, 2023 14:06 15s
feat: display and edit kinds on foralls Check DCO #391: Pull request #1120 synchronize by brprice
September 6, 2023 23:20 17s brprice/forall-kind-edit
brprice/forall-kind-edit
September 6, 2023 23:20 17s
fix: tcWholeProg updates metadata of ADT parameter selections Check DCO #390: Pull request #1129 synchronize by brprice
September 6, 2023 22:20 14s brprice/tc-update-adt-param-meta
brprice/tc-update-adt-param-meta
September 6, 2023 22:20 14s
fix: nextProgID cares about ids in typedefs Check DCO #389: Pull request #1134 synchronize by brprice
September 6, 2023 22:13 16s brprice/nextProgID-typedef
brprice/nextProgID-typedef
September 6, 2023 22:13 16s
fix: nextProgID cares about ids in typedefs Check DCO #388: Pull request #1134 synchronize by brprice
September 6, 2023 22:08 15s brprice/nextProgID-typedef
brprice/nextProgID-typedef
September 6, 2023 22:08 15s
feat: ConstructKType needs a hole Check DCO #387: Pull request #1135 opened by brprice
September 6, 2023 18:50 17s brprice/constructktype-hole
brprice/constructktype-hole
September 6, 2023 18:50 17s
fix: nextProgID cares about ids in typedefs Check DCO #386: Pull request #1134 synchronize by brprice
September 6, 2023 18:42 12s brprice/nextProgID-typedef
brprice/nextProgID-typedef
September 6, 2023 18:42 12s
fix: nextProgID cares about ids in typedefs Check DCO #385: Pull request #1134 opened by brprice
September 6, 2023 18:37 16s brprice/nextProgID-typedef
brprice/nextProgID-typedef
September 6, 2023 18:37 16s
refactor: applyActionsToTypeSig returns TypeZip, not TypeZ Check DCO #384: Pull request #1132 synchronize by brprice
September 5, 2023 13:17 22s brprice/applyActionsToTypeSig-TypeZip
brprice/applyActionsToTypeSig-TypeZip
September 5, 2023 13:17 22s
refactor: applyActionsToTypeSig returns TypeZip, not TypeZ Check DCO #383: Pull request #1132 opened by brprice
September 5, 2023 13:14 20s brprice/applyActionsToTypeSig-TypeZip
brprice/applyActionsToTypeSig-TypeZip
September 5, 2023 13:14 20s
chore(deps): bump actions/checkout from 3.6.0 to 4.0.0 Check DCO #382: Pull request #1131 opened by dependabot bot
September 5, 2023 02:26 12s dependabot/github_actions/actions/checkout-4.0.0
dependabot/github_actions/actions/checkout-4.0.0
September 5, 2023 02:26 12s
chore(deps): bump cachix/install-nix-action from 22 to 23 Check DCO #381: Pull request #1130 opened by dependabot bot
September 5, 2023 02:26 21s dependabot/github_actions/cachix/install-nix-action-23
dependabot/github_actions/cachix/install-nix-action-23
September 5, 2023 02:26 21s
fix: tcWholeProg updates metadata of ADT parameter selections Check DCO #380: Pull request #1129 synchronize by brprice
September 4, 2023 18:26 18s brprice/tc-update-adt-param-meta
brprice/tc-update-adt-param-meta
September 4, 2023 18:26 18s
fix: tcWholeProg updates metadata of ADT parameter selections Check DCO #379: Pull request #1129 opened by brprice
September 4, 2023 18:04 15s brprice/tc-update-adt-param-meta
brprice/tc-update-adt-param-meta
September 4, 2023 18:04 15s
ProTip! You can narrow down the results and go further in time using created:<2023-09-04 or the other filters available.