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
Add Dijkstra Foreign modules CI #1619: Pull request #1134 synchronize by carlostome
21m 8s carlos/dijkstra-conformance-2
carlos/dijkstra-conformance-2
21m 8s
Add Dijkstra Foreign modules Shellcheck #2167: Pull request #1134 synchronize by carlostome
1m 55s carlos/dijkstra-conformance-2
carlos/dijkstra-conformance-2
1m 55s
PR #1134 CodeQL #272: by carlostome
1m 36s refs/pull/1134/head
refs/pull/1134/head
1m 36s
Add Dijkstra Foreign modules CI #1618: Pull request #1134 synchronize by carlostome
20m 3s carlos/dijkstra-conformance-2
carlos/dijkstra-conformance-2
20m 3s
Add Dijkstra Foreign modules Shellcheck #2166: Pull request #1134 synchronize by carlostome
33s carlos/dijkstra-conformance-2
carlos/dijkstra-conformance-2
33s
PR #1134 CodeQL #271: by carlostome
1m 3s refs/pull/1134/head
refs/pull/1134/head
1m 3s
[Dijkstra] Add missing premisses to UTXOW CI #1617: Pull request #1176 synchronize by carlostome
20m 24s carlos/missing-premisses-utxow
carlos/missing-premisses-utxow
20m 24s
[Dijkstra] Add missing premisses to UTXOW Shellcheck #2165: Pull request #1176 synchronize by carlostome
32s carlos/missing-premisses-utxow
carlos/missing-premisses-utxow
32s
PR #1176 CodeQL #270: by carlostome
1m 10s refs/pull/1176/head
refs/pull/1176/head
1m 10s
Remove formal-ledger as a dep. from nix shell CI #1616: Pull request #1177 opened by carlostome
28m 51s carlos/fix-nix-shell-1
carlos/fix-nix-shell-1
28m 51s
Remove formal-ledger as a dep. from nix shell Shellcheck #2164: Pull request #1177 opened by carlostome
32s carlos/fix-nix-shell-1
carlos/fix-nix-shell-1
32s
PR #1177 CodeQL #269: by carlostome
1m 4s refs/pull/1177/head
refs/pull/1177/head
1m 4s
Nightly Build Nightly Build #3: Scheduled
1m 14s master
master
1m 14s
pages build and deployment pages-build-deployment #539: by github-pages Bot
55s master-artifacts
master-artifacts
55s
[Dijkstra] Add well-formedness check for RequiredTopLevelGuards Delete artifacts branch on PR closed #199: Pull request #1173 closed by carlostome
44s 1143-dijkstra-check-that-requiredtoplevelguards-are-well-formed
1143-dijkstra-check-that-requiredtoplevelguards-are-well-formed
44s
[Dijkstra] Add well-formedness check for RequiredTopLevelGuards (#1173) CI #1615: Commit 5be1876 pushed by carlostome
33m 14s master
master
33m 14s
[Dijkstra] Add well-formedness check for RequiredTopLevelGuards (#1173) Shellcheck #2163: Commit 5be1876 pushed by carlostome
31s master
master
31s
Push on master CodeQL #268: by carlostome
1m 13s master
master
1m 13s
Scheduled CodeQL #267: by github-advanced-security AI
1m 11s master
master
1m 11s
Nightly Build Nightly Build #2: Scheduled
1m 15s master
master
1m 15s
Nightly Build Nightly Build #1: Scheduled
1m 5s master
master
1m 5s
pages build and deployment pages-build-deployment #538: by github-pages Bot
55s master-artifacts
master-artifacts
55s
[Dijkstra] Add missing premisses to UTXOW CI #1614: Pull request #1176 synchronize by carlostome
1h 11m 51s carlos/missing-premisses-utxow
carlos/missing-premisses-utxow
1h 11m 51s
[Dijkstra] Add missing premisses to UTXOW Shellcheck #2162: Pull request #1176 synchronize by carlostome
36s carlos/missing-premisses-utxow
carlos/missing-premisses-utxow
36s
PR #1176 CodeQL #266: by carlostome
1m 4s refs/pull/1176/head
refs/pull/1176/head
1m 4s