Skip to content

Actions: dscvr-one/candid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: add back imports License Check #5: Commit 94ae17a pushed by ncpenke
April 23, 2024 21:50 33s master
master
April 23, 2024 21:50 33s
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
fix: add back imports Rust #5: Commit 94ae17a pushed by ncpenke
April 23, 2024 21:50 1m 20s master
master
April 23, 2024 21:50 1m 20s
Release Release #7: by ncpenke
April 23, 2024 00:49 3m 28s dscvr-2024-04-11-2
dscvr-2024-04-11-2
April 23, 2024 00:49 3m 28s
Release Release #6: by ncpenke
April 23, 2024 00:30 3m 15s dscvr-2024-04-11-1
dscvr-2024-04-11-1
April 23, 2024 00:30 3m 15s
Release Release #5: by ncpenke
April 23, 2024 00:17 5m 11s dscvr-2024-04-11
dscvr-2024-04-11
April 23, 2024 00:17 5m 11s
fix: implement deepsize Release #4: Commit a93b767 pushed by ncpenke
February 29, 2024 19:36 3m 0s 0.9.3-3
0.9.3-3
February 29, 2024 19:36 3m 0s
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 License Check #4: Commit 45ec41a pushed by ncpenke
December 12, 2023 18:49 34s master
master
December 12, 2023 18:49 34s
chore: fix fmt Rust #4: Commit 45ec41a pushed by ncpenke
December 12, 2023 18:49 3m 17s master
master
December 12, 2023 18:49 3m 17s
chore: fix fmt Rust #3: Commit d058ce0 pushed by ncpenke
December 12, 2023 18:47 5m 7s master
master
December 12, 2023 18:47 5m 7s
chore: fix fmt License Check #3: Commit d058ce0 pushed by ncpenke
December 12, 2023 18:47 30s master
master
December 12, 2023 18:47 30s
chore: fix fmt Coq #3: Commit d058ce0 pushed by ncpenke
December 12, 2023 18:47 50s master
master
December 12, 2023 18:47 50s
Release Release #3: by ncpenke
December 12, 2023 06:04 3m 18s 0.9.3-2
0.9.3-2
December 12, 2023 06:04 3m 18s
Support combining actors and returning imports Release #2: Commit 65d73d6 pushed by ncpenke
December 12, 2023 06:03 3m 27s 2023-07-25-patched
2023-07-25-patched
December 12, 2023 06:03 3m 27s
Support combining actors and returning imports Rust #2: Commit 9c7df5c pushed by ncpenke
December 8, 2023 20:15 2m 19s master
master
December 8, 2023 20:15 2m 19s
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 License Check #2: Commit 9c7df5c pushed by ncpenke
December 8, 2023 20:15 29s master
master
December 8, 2023 20:15 29s
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
Support combining actors and returning imports License Check #1: Commit 55f1f37 pushed by ncpenke
December 8, 2023 20:14 33s master
master
December 8, 2023 20:14 33s
Support combining actors and returning imports Rust #1: Commit 55f1f37 pushed by ncpenke
December 8, 2023 20:14 2m 22s master
master
December 8, 2023 20:14 2m 22s
Support combining actors and returning imports Release #1: Commit 55f1f37 pushed by ncpenke
December 8, 2023 18:34 4m 59s 2023-11-16-patched
2023-11-16-patched
December 8, 2023 18:34 4m 59s