Skip to content

Actions: dfinity/candid

Actions

Coq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
3 workflow run results
3 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

set default config for different targets (#470) Coq #475: Commit a8322be pushed by chenyan-dfinity
October 4, 2023 23:08 1m 14s master
master
October 4, 2023 23:08 1m 14s
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