Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #574: by github-pages Bot
50s master-artifacts
master-artifacts
50s
[Dijkstra] Refactor ENTITIES and add SUBENTITIES Delete artifacts branch on PR closed #242: Pull request #1256 closed by carlostome
58s 1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
58s
[Dijkstra] Refactor ENTITIES and add SUBENTITIES (#1256) Shellcheck #2507: Commit 51fb7dd pushed by carlostome
32s master
master
32s
[Dijkstra] Refactor ENTITIES and add SUBENTITIES (#1256) CI #1927: Commit 51fb7dd pushed by carlostome
6m 26s master
master
6m 26s
Push on master CodeQL #598: by carlostome
1m 15s master
master
1m 15s
[Dijkstra] Refactor ENTITIES and add SUBENTITIES CI #1926: Pull request #1256 synchronize by carlostome
30m 5s 1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
30m 5s
[Dijkstra] Refactor ENTITIES and add SUBENTITIES Shellcheck #2506: Pull request #1256 synchronize by carlostome
38s 1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
38s
PR #1256 CodeQL #597: by carlostome
1m 1s refs/pull/1256/head
refs/pull/1256/head
1m 1s
PR #1256 CodeQL #596: by carlostome
55s refs/pull/1256/head
refs/pull/1256/head
55s
[Dijkstra] Refactor ENTITIES and add SUBENTITIES CI #1925: Pull request #1256 synchronize by carlostome
26m 11s 1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
26m 11s
[Dijkstra] Refactor ENTITIES and add SUBENTITIES Shellcheck #2505: Pull request #1256 synchronize by carlostome
37s 1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
37s
Nightly Build Nightly Build #83: Scheduled
29m 26s master
master
29m 26s
[Dijkstra] Refactor ENTITIES and add SUBENTITIES CI #1924: Pull request #1256 synchronize by carlostome
19m 44s 1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
19m 44s
[Dijkstra] Refactor ENTITIES and add SUBENTITIES Shellcheck #2504: Pull request #1256 synchronize by carlostome
33s 1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
1251-dijkstra-move-balance-interval-checks-from-utxo-to-entities
33s
PR #1256 CodeQL #595: by carlostome
58s refs/pull/1256/head
refs/pull/1256/head
58s
pages build and deployment pages-build-deployment #573: by github-pages Bot
1m 4s master-artifacts
master-artifacts
1m 4s
[Dijkstra] Add EntitiesEnv and GovCertEnv (#1253) CI #1923: Commit 2910241 pushed by carlostome
6m 4s master
master
6m 4s
[Dijkstra] Add EntitiesEnv and GovCertEnv (#1253) Shellcheck #2503: Commit 2910241 pushed by carlostome
36s master
master
36s
[Dijkstra] Add EntitiesEnv and GovCertEnv Delete artifacts branch on PR closed #241: Pull request #1253 closed by carlostome
56s carlos/add-entitities-and-govcert-env
carlos/add-entitities-and-govcert-env
56s
Push on master CodeQL #594: by github-advanced-security AI
1m 34s master
master
1m 34s
[Dijkstra] Add EntitiesEnv and GovCertEnv CI #1922: Pull request #1253 synchronize by carlostome
26m 32s carlos/add-entitities-and-govcert-env
carlos/add-entitities-and-govcert-env
26m 32s
[Dijkstra] Add EntitiesEnv and GovCertEnv Shellcheck #2502: Pull request #1253 synchronize by carlostome
33s carlos/add-entitities-and-govcert-env
carlos/add-entitities-and-govcert-env
33s
PR #1253 CodeQL #593: by carlostome
53s refs/pull/1253/head
refs/pull/1253/head
53s
Nightly Build Nightly Build #82: Scheduled
29m 47s master
master
29m 47s
Scheduled CodeQL #592: by github-advanced-security AI
1m 11s master
master
1m 11s