Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,572 workflow runs
1,572 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
pyk: per-request haskell-backend RPC log capture, written per request under the proof dir Test PR #7943: Pull request #4928 synchronize by ehildenb
In progress kore-rpc-improvements
kore-rpc-improvements
In progress
pyk: per-request haskell-backend RPC log capture, written per request under the proof dir Lint GitHub Actions workflows #1718: Pull request #4928 synchronize by ehildenb
13s kore-rpc-improvements
kore-rpc-improvements
13s
pages build and deployment pages-build-deployment #926: by deosa-arch
30s gh-pages
gh-pages
30s
K Framework Release v7.1.331 Release #1705: Release v7.1.331 prereleased by deosa-arch
44m 17s
44m 17s
Graph Update: uv in /pyk #1397794834 Dependency Graph #13: by dependabot Bot
2m 0s master
master
2m 0s
Set Version: 7.1.331 Master Push #1282: Commit 5d786ca pushed by deosa-arch
10s master
master
10s
Optimize Nix release workflow (#4927) Bump version and make master job #1295: Commit 195ce2d pushed by automergerpr-permission-manager Bot
19s develop
develop
19s
Optimize Nix release workflow Lint GitHub Actions workflows #1717: Pull request #4927 synchronize by ehildenb
10s workflow-nix-optim
workflow-nix-optim
10s
Optimize Nix release workflow Test PR #7942: Pull request #4927 synchronize by ehildenb
30m 7s workflow-nix-optim
workflow-nix-optim
30m 7s
pyk: context-aware sort-parameter inference in add_sort_params (port of Java AddSortInjections) Lint GitHub Actions workflows #1716: Pull request #4915 synchronize by ehildenb
9s sort-handling-improvements
sort-handling-improvements
9s
pyk: context-aware sort-parameter inference in add_sort_params (port of Java AddSortInjections) Test PR #7941: Pull request #4915 synchronize by ehildenb
24m 52s sort-handling-improvements
sort-handling-improvements
24m 52s
pyk: per-request haskell-backend RPC log capture, written per request under the proof dir Test PR #7940: Pull request #4928 edited by ehildenb
39m 33s kore-rpc-improvements
kore-rpc-improvements
39m 33s
pyk: per-request haskell-backend RPC log capture, written per request under the proof dir Lint GitHub Actions workflows #1715: Pull request #4928 synchronize by ehildenb
11s kore-rpc-improvements
kore-rpc-improvements
11s
pyk: per-request haskell-backend RPC log capture, written per request under the proof dir Test PR #7939: Pull request #4928 synchronize by ehildenb
42s kore-rpc-improvements
kore-rpc-improvements
42s
pyk: per-request haskell-backend RPC log capture, written per request under the proof dir Test PR #7938: Pull request #4928 edited by ehildenb
30m 46s kore-rpc-improvements
kore-rpc-improvements
30m 46s
pyk: per-request haskell-backend RPC log capture, written per request under the proof dir Test PR #7937: Pull request #4928 edited by ehildenb
21s kore-rpc-improvements
kore-rpc-improvements
21s
pyk: per-request haskell-backend RPC log capture, written per request under the proof dir Test PR #7936: Pull request #4928 edited by ehildenb
10m 0s kore-rpc-improvements
kore-rpc-improvements
10m 0s
pyk: per-request haskell-backend RPC log capture, written per request under the proof dir Test PR #7935: Pull request #4928 edited by deosa-arch
7m 0s kore-rpc-improvements
kore-rpc-improvements
7m 0s
pyk: per-request haskell-backend RPC log capture, written per request under the proof dir Lint GitHub Actions workflows #1714: Pull request #4928 opened by ehildenb
11s kore-rpc-improvements
kore-rpc-improvements
11s
pyk: per-request haskell-backend RPC log capture, written per request under the proof dir Test PR #574: Pull request #4928 opened by ehildenb
18s kore-rpc-improvements
kore-rpc-improvements
18s
pages build and deployment pages-build-deployment #925: by deosa-arch
29s gh-pages
gh-pages
29s
Optimize Nix release workflow Test PR #7934: Pull request #4927 edited by deosa-arch
40m 42s workflow-nix-optim
workflow-nix-optim
40m 42s
Optimize Nix release workflow Lint GitHub Actions workflows #1713: Pull request #4927 opened by ehildenb
13s workflow-nix-optim
workflow-nix-optim
13s
Optimize Nix release workflow Test PR #573: Pull request #4927 opened by ehildenb
22s workflow-nix-optim
workflow-nix-optim
22s
K Framework Release v7.1.330 Release #1704: Release v7.1.330 prereleased by deosa-arch
57m 22s
57m 22s