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
[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
Nightly Build Nightly Build #81: Scheduled
29m 3s master
master
29m 3s
Nightly Build Nightly Build #80: Scheduled
29m 4s master
master
29m 4s
PR #1256 CodeQL #591: by carlostome
52s refs/pull/1256/head
refs/pull/1256/head
52s
PR #1256 CodeQL #590: by carlostome
58s refs/pull/1256/head
refs/pull/1256/head
58s
mkdocs site nice-to-have: hover-over for Agda tokens (#826) CI #1921: Pull request #947 synchronize by williamdemeo
6m 15s 826-niceties-hover-over
826-niceties-hover-over
6m 15s
mkdocs site nice-to-have: hover-over for Agda tokens (#826) Shellcheck #2501: Pull request #947 synchronize by williamdemeo
34s 826-niceties-hover-over
826-niceties-hover-over
34s
PR #947 CodeQL #589: by williamdemeo
58s refs/pull/947/head
refs/pull/947/head
58s
Nightly Build Nightly Build #79: Scheduled
28m 3s master
master
28m 3s
pages build and deployment pages-build-deployment #572: by github-pages Bot
2m 21s master-artifacts
master-artifacts
2m 21s
[Dijkstra] Add EntitiesEnv and GovCertEnv CI #1920: Pull request #1253 synchronize by carlostome
37m 7s carlos/add-entitities-and-govcert-env
carlos/add-entitities-and-govcert-env
37m 7s
[Dijkstra] Add EntitiesEnv and GovCertEnv Shellcheck #2500: Pull request #1253 synchronize by carlostome
45s carlos/add-entitities-and-govcert-env
carlos/add-entitities-and-govcert-env
45s
PR #1253 CodeQL #588: by carlostome
1m 4s refs/pull/1253/head
refs/pull/1253/head
1m 4s