Skip to content

Actions: dfinity/candid

Actions

Coq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Misc fix (#469) Coq #474: Commit 3033772 pushed by chenyan-dfinity
September 27, 2023 20:35 1m 9s master
master
September 27, 2023 20:35 1m 9s
minize error message (#467) Coq #473: Commit 11094b2 pushed by chenyan-dfinity
September 20, 2023 20:39 1m 37s master
master
September 20, 2023 20:39 1m 37s
Misc (#466) Coq #472: Commit a1eb218 pushed by chenyan-dfinity
September 13, 2023 17:26 1m 13s master
master
September 13, 2023 17:26 1m 13s
More work for Rust binding (#461) Coq #471: Commit dbee878 pushed by chenyan-dfinity
September 6, 2023 16:37 1m 21s master
master
September 6, 2023 16:37 1m 21s
make the field zero_sized_values in candid::de::Config public (#465) Coq #470: Commit c862f83 pushed by chenyan-dfinity
September 4, 2023 16:54 1m 37s master
master
September 4, 2023 16:54 1m 37s
bump candid ui (#464) Coq #469: Commit b7755ea pushed by chenyan-dfinity
August 30, 2023 21:20 1m 7s master
master
August 30, 2023 21:20 1m 7s
remove arc_type feature (#463) Coq #468: Commit 1c383a7 pushed by chenyan-dfinity
August 30, 2023 20:52 1m 19s master
master
August 30, 2023 20:52 1m 19s
Fix length counting of zero sized values (#460) Coq #467: Commit 7273592 pushed by chenyan-dfinity
August 30, 2023 04:34 1m 18s master
master
August 30, 2023 04:34 1m 18s
spec: allow record {} <: record {null} (#462) Coq #466: Commit 9f567c3 pushed by chenyan-dfinity
August 30, 2023 01:32 1m 9s master
master
August 30, 2023 01:32 1m 9s
move away from BigInt::try_into (#458) Coq #465: Commit 2c3f8a3 pushed by chenyan-dfinity
August 3, 2023 20:33 1m 37s master
master
August 3, 2023 20:33 1m 37s