Skip to content

Actions: awakesecurity/proto3-suite

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add an experimental feature to directly encode ci #316: Pull request #254 synchronize by j6carey
January 17, 2025 20:42 1h 46m 0s direct-encoding
direct-encoding
January 17, 2025 20:42 1h 46m 0s
Implement support for Aeson-2.2.3 ci #315: Pull request #252 synchronize by j6carey
January 17, 2025 20:35 45m 24s tonyalaribe:aeson-error-fix
tonyalaribe:aeson-error-fix
January 17, 2025 20:35 45m 24s
v0.8.2: Support GHC 9.10 (#263) ci #314: Commit 54e9d54 pushed by riz0id
January 17, 2025 20:32 2h 39m 40s master
master
January 17, 2025 20:32 2h 39m 40s
Implement support for Aeson-2.2.3 ci #313: Pull request #252 synchronize by tonyalaribe
January 17, 2025 07:33 25m 41s tonyalaribe:aeson-error-fix
tonyalaribe:aeson-error-fix
January 17, 2025 07:33 25m 41s
v0.8.2: Support GHC 9.10 ci #312: Pull request #263 synchronize by j6carey
January 17, 2025 00:00 3h 13m 26s jcarey-support-ghc9101
jcarey-support-ghc9101
January 17, 2025 00:00 3h 13m 26s
Add an experimental feature to directly encode ci #311: Pull request #254 synchronize by j6carey
January 15, 2025 22:11 3h 15m 55s direct-encoding
direct-encoding
January 15, 2025 22:11 3h 15m 55s
Add an experimental feature to directly encode ci #310: Pull request #254 synchronize by j6carey
January 15, 2025 02:51 40m 37s direct-encoding
direct-encoding
January 15, 2025 02:51 40m 37s
Add an experimental feature to directly encode ci #309: Pull request #254 synchronize by j6carey
January 14, 2025 16:07 2h 22m 21s direct-encoding
direct-encoding
January 14, 2025 16:07 2h 22m 21s
v0.8.2: Support GHC 9.10 ci #308: Pull request #263 synchronize by j6carey
January 10, 2025 23:09 3h 45m 5s jcarey-support-ghc9101
jcarey-support-ghc9101
January 10, 2025 23:09 3h 45m 5s
v0.8.2: Support GHC 9.10 ci #307: Pull request #263 opened by j6carey
January 9, 2025 17:58 44m 16s jcarey-support-ghc9101
jcarey-support-ghc9101
January 9, 2025 17:58 44m 16s
Add an experimental feature to directly encode ci #306: Pull request #254 synchronize by j6carey
January 8, 2025 23:38 2h 57m 35s direct-encoding
direct-encoding
January 8, 2025 23:38 2h 57m 35s
Add an experimental feature to directly encode ci #305: Pull request #254 synchronize by j6carey
January 8, 2025 21:34 3h 0m 2s direct-encoding
direct-encoding
January 8, 2025 21:34 3h 0m 2s
Add an experimental feature to directly encode ci #304: Pull request #254 synchronize by j6carey
January 8, 2025 00:22 3h 1m 48s direct-encoding
direct-encoding
January 8, 2025 00:22 3h 1m 48s
Support GHC 9.10 ci #303: Pull request #262 synchronize by TristanCacqueray
January 7, 2025 16:43 2m 5s TristanCacqueray:ghc-910
TristanCacqueray:ghc-910
January 7, 2025 16:43 2m 5s
Support GHC 9.10 ci #302: Pull request #262 synchronize by TristanCacqueray
January 7, 2025 16:35 4m 15s TristanCacqueray:ghc-910
TristanCacqueray:ghc-910
January 7, 2025 16:35 4m 15s
Support GHC 9.10 ci #301: Pull request #262 synchronize by TristanCacqueray
January 7, 2025 14:18 4m 10s TristanCacqueray:ghc-910
TristanCacqueray:ghc-910
January 7, 2025 14:18 4m 10s
Add an experimental feature to directly encode ci #300: Pull request #254 synchronize by j6carey
January 7, 2025 00:50 4h 25m 52s direct-encoding
direct-encoding
January 7, 2025 00:50 4h 25m 52s
Add an experimental feature to directly encode ci #299: Pull request #254 synchronize by j6carey
January 6, 2025 23:48 2h 41m 35s direct-encoding
direct-encoding
January 6, 2025 23:48 2h 41m 35s
Support GHC 9.10 ci #298: Pull request #262 opened by TristanCacqueray
January 6, 2025 20:10 21m 2s TristanCacqueray:ghc-910
TristanCacqueray:ghc-910
January 6, 2025 20:10 21m 2s
Implement support for Aeson-2.2.3 ci #297: Pull request #252 synchronize by tonyalaribe
December 16, 2024 22:02 1h 34m 0s tonyalaribe:aeson-error-fix
tonyalaribe:aeson-error-fix
December 16, 2024 22:02 1h 34m 0s
Add an experimental feature to directly encode ci #296: Pull request #254 synchronize by j6carey
December 3, 2024 01:58 5h 30m 8s direct-encoding
direct-encoding
December 3, 2024 01:58 5h 30m 8s
Add an experimental feature to directly encode ci #295: Pull request #254 synchronize by j6carey
December 3, 2024 01:47 3h 24m 51s direct-encoding
direct-encoding
December 3, 2024 01:47 3h 24m 51s
Add an experimental feature to directly encode ci #294: Pull request #254 synchronize by j6carey
December 3, 2024 00:38 2h 24m 25s direct-encoding
direct-encoding
December 3, 2024 00:38 2h 24m 25s
Update default ghc8107 to ghc948 (#261) ci #293: Commit e871646 pushed by j6carey
November 20, 2024 21:32 18m 9s master
master
November 20, 2024 21:32 18m 9s
Add an experimental feature to directly encode ci #292: Pull request #254 synchronize by j6carey
November 18, 2024 23:37 3h 15m 4s direct-encoding
direct-encoding
November 18, 2024 23:37 3h 15m 4s