Skip to content

Actions: dscvr-one/candid

Actions

Coq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: bump mac-os build image Coq #8: Commit 4843da6 pushed by MrWoo034
January 30, 2025 18:34 44s master
master
January 30, 2025 18:34 44s
fix: update action version Coq #7: Commit 48714ed pushed by MrWoo034
January 30, 2025 18:30 53s master
master
January 30, 2025 18:30 53s
chore: merge dfinity/candid:master Coq #6: Commit 8f7884a pushed by MrWoo034
January 30, 2025 18:24 50s master
master
January 30, 2025 18:24 50s
fix: add back imports Coq #5: Commit 94ae17a pushed by ncpenke
April 23, 2024 21:50 1m 10s master
master
April 23, 2024 21:50 1m 10s
chore: fix fmt Coq #4: Commit 45ec41a pushed by ncpenke
December 12, 2023 18:49 47s master
master
December 12, 2023 18:49 47s
chore: fix fmt Coq #3: Commit d058ce0 pushed by ncpenke
December 12, 2023 18:47 50s master
master
December 12, 2023 18:47 50s
Support combining actors and returning imports Coq #2: Commit 9c7df5c pushed by ncpenke
December 8, 2023 20:15 56s master
master
December 8, 2023 20:15 56s
Support combining actors and returning imports Coq #1: Commit 55f1f37 pushed by ncpenke
December 8, 2023 20:14 1m 9s master
master
December 8, 2023 20:14 1m 9s