Skip to content

Actions: cr1901/sentinel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
189 workflow runs
189 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

December 6, 2023 23:49 33m 0s
December 4, 2023 02:08 32m 37s
Fix paramiko dependency, and implement remote example builds.
CI #15: Commit b3e5fa0 pushed by cr1901
December 3, 2023 04:36 49s remote
December 3, 2023 04:36 49s
Route relevant decode signals to formal harness.
CI #14: Commit 1304842 pushed by cr1901
December 1, 2023 05:25 32m 48s refactor
December 1, 2023 05:25 32m 48s
November 30, 2023 01:05 32m 12s
Add logo, correct outdated/wrong info in README.md.
CI #12: Commit 5da834e pushed by cr1901
November 30, 2023 01:03 2m 56s main
November 30, 2023 01:03 2m 56s
Fix DoIt race condition found as a result of workflow job split.
CI #11: Commit 8ead19a pushed by cr1901
November 30, 2023 01:00 1m 26s main
November 30, 2023 01:00 1m 26s
Fix DoIt race condition found as a result of workflow job split.
CI #10: Commit b2781bf pushed by cr1901
November 27, 2023 00:49 30m 33s gha
gha
November 27, 2023 00:49 30m 33s
Split CI workflow into three jobs (tests, RISCOF, RISC-V Formal).
CI #9: Commit d26edd9 pushed by cr1901
November 26, 2023 23:02 1m 21s gha
gha
November 26, 2023 23:02 1m 21s
Attempt to add GHA support.
CI #8: Commit dbcc6da pushed by cr1901
November 26, 2023 17:43 39m 44s gha
gha
November 26, 2023 17:43 39m 44s
Attempt to add GHA support.
CI #7: Commit 545392d pushed by cr1901
November 26, 2023 04:03 38m 28s gha
gha
November 26, 2023 04:03 38m 28s
Attempt to add GHA support.
CI #6: Commit d5f5be6 pushed by cr1901
November 26, 2023 03:56 2m 58s gha
gha
November 26, 2023 03:56 2m 58s
Attempt to add GHA support.
CI #5: Commit dce719c pushed by cr1901
November 26, 2023 03:45 2m 47s gha
gha
November 26, 2023 03:45 2m 47s