Skip to content

Actions: cardano-foundation/fine-types

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
697 workflow runs
697 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ADP-3153] Add Embedding of Typ Build #97: Pull request #14 opened by HeinrichApfelmus
August 31, 2023 14:34 16m 55s HeinrichApfelmus/embeddings-wip
HeinrichApfelmus/embeddings-wip
August 31, 2023 14:34 16m 55s
[ADP-3152] Export of FineTypes to Haskell Build #96: Pull request #13 synchronize by HeinrichApfelmus
August 31, 2023 14:33 8m 47s HeinrichApfelmus/export-haskell
HeinrichApfelmus/export-haskell
August 31, 2023 14:33 8m 47s
[ADP-3152] Export of FineTypes to Haskell Build #95: Pull request #13 synchronize by HeinrichApfelmus
August 31, 2023 13:57 8m 19s HeinrichApfelmus/export-haskell
HeinrichApfelmus/export-haskell
August 31, 2023 13:57 8m 19s
[ADP-3152] Export of FineTypes to Haskell Build #94: Pull request #13 opened by HeinrichApfelmus
August 31, 2023 12:43 12m 46s HeinrichApfelmus/export-haskell
HeinrichApfelmus/export-haskell
August 31, 2023 12:43 12m 46s
[ADP-3142] Add flake.nix Build #93: Pull request #11 synchronize by HeinrichApfelmus
August 31, 2023 09:39 7m 5s HeinrichApfelmus/ADP-3142/flake
HeinrichApfelmus/ADP-3142/flake
August 31, 2023 09:39 7m 5s
[ADP-3150] Add support for constrained Typ Build #92: Pull request #12 synchronize by paolino
August 31, 2023 09:21 24m 16s paolino/3150/add-support-for-constrained-typs
paolino/3150/add-support-for-constrained-typs
August 31, 2023 09:21 24m 16s
[ADP-3149] Add import syntax to Module (#9) Build #91: Commit 86f719a pushed by github-merge-queue bot
August 31, 2023 09:20 15m 38s main
main
August 31, 2023 09:20 15m 38s
[ADP-3142] Add flake.nix Build #90: Pull request #11 synchronize by HeinrichApfelmus
August 31, 2023 09:20 9m 1s HeinrichApfelmus/ADP-3142/flake
HeinrichApfelmus/ADP-3142/flake
August 31, 2023 09:20 9m 1s
Build Build #89: Merge group checks requested
August 31, 2023 09:11 8m 3s
August 31, 2023 09:11 8m 3s
Build Build #88: Scheduled
August 30, 2023 18:03 7m 47s main
main
August 30, 2023 18:03 7m 47s
[ADP-3149] Add import syntax to Module Build #87: Pull request #9 synchronize by HeinrichApfelmus
August 30, 2023 16:35 10m 34s HeinrichApfelmus/ADP-3149/import
HeinrichApfelmus/ADP-3149/import
August 30, 2023 16:35 10m 34s
[ADP-3149] Add import syntax to Module Build #86: Pull request #9 synchronize by HeinrichApfelmus
August 30, 2023 16:30 9m 8s HeinrichApfelmus/ADP-3149/import
HeinrichApfelmus/ADP-3149/import
August 30, 2023 16:30 9m 8s
[ADP-3150] Add support for constrained Typ Build #85: Pull request #12 synchronize by paolino
August 30, 2023 15:39 7m 12s paolino/3150/add-support-for-constrained-typs
paolino/3150/add-support-for-constrained-typs
August 30, 2023 15:39 7m 12s
[ADP-3150] Add support for constrained Typ Build #84: Pull request #12 opened by paolino
August 30, 2023 15:37 5m 41s paolino/3150/add-support-for-constrained-typs
paolino/3150/add-support-for-constrained-typs
August 30, 2023 15:37 5m 41s
[ADP-3142] Add flake.nix Build #83: Pull request #11 synchronize by HeinrichApfelmus
August 30, 2023 15:09 9m 56s HeinrichApfelmus/ADP-3142/flake
HeinrichApfelmus/ADP-3142/flake
August 30, 2023 15:09 9m 56s
[ADP-3142] Add flake.nix Build #82: Pull request #11 synchronize by HeinrichApfelmus
August 30, 2023 15:07 20m 5s HeinrichApfelmus/ADP-3142/flake
HeinrichApfelmus/ADP-3142/flake
August 30, 2023 15:07 20m 5s
[ADP-3142] Add flake.nix Build #81: Pull request #11 synchronize by HeinrichApfelmus
August 30, 2023 14:59 9m 34s HeinrichApfelmus/ADP-3142/flake
HeinrichApfelmus/ADP-3142/flake
August 30, 2023 14:59 9m 34s
[ADP-3142] Add flake.nix Build #80: Pull request #11 synchronize by HeinrichApfelmus
August 30, 2023 14:11 8m 56s HeinrichApfelmus/ADP-3142/flake
HeinrichApfelmus/ADP-3142/flake
August 30, 2023 14:11 8m 56s
[ADP-3149] Add import syntax to Module Build #79: Pull request #9 synchronize by HeinrichApfelmus
August 30, 2023 13:51 10m 8s HeinrichApfelmus/ADP-3149/import
HeinrichApfelmus/ADP-3149/import
August 30, 2023 13:51 10m 8s
[ADP-3149] Add import syntax to Module Build #78: Pull request #9 synchronize by HeinrichApfelmus
August 30, 2023 13:50 7m 29s HeinrichApfelmus/ADP-3149/import
HeinrichApfelmus/ADP-3149/import
August 30, 2023 13:50 7m 29s
[ADP-3149] Add import syntax to Module Build #77: Pull request #9 synchronize by HeinrichApfelmus
August 30, 2023 13:28 9m 10s HeinrichApfelmus/ADP-3149/import
HeinrichApfelmus/ADP-3149/import
August 30, 2023 13:28 9m 10s
[ADP-3149] Add import syntax to Module Build #76: Pull request #9 synchronize by HeinrichApfelmus
August 30, 2023 12:44 7m 46s HeinrichApfelmus/ADP-3149/import
HeinrichApfelmus/ADP-3149/import
August 30, 2023 12:44 7m 46s
[ADP-3142] Add flake.nix Build #75: Pull request #11 synchronize by paolino
August 30, 2023 08:11 13m 20s HeinrichApfelmus/ADP-3142/flake
HeinrichApfelmus/ADP-3142/flake
August 30, 2023 08:11 13m 20s
[ADP-3142] Add flake.nix Build #74: Pull request #11 synchronize by HeinrichApfelmus
August 29, 2023 19:17 12m 42s HeinrichApfelmus/ADP-3142/flake
HeinrichApfelmus/ADP-3142/flake
August 29, 2023 19:17 12m 42s
[ADP-3142] Add flake.nix Build #73: Pull request #11 opened by HeinrichApfelmus
August 29, 2023 19:17 10m 34s HeinrichApfelmus/ADP-3142/flake
HeinrichApfelmus/ADP-3142/flake
August 29, 2023 19:17 10m 34s
ProTip! You can narrow down the results and go further in time using created:<2023-08-29 or the other filters available.