Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
785 workflow runs
785 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Github WF update missed moving off a private runner to a public runner. Test PR #7797: Pull request #4896 edited by rv-jenkins
40m 27s hotfix/missed-cachix-public
hotfix/missed-cachix-public
40m 27s
Testing build K and Publish to Cachix Test PR #7796: Pull request #4895 synchronize by F-WRunTime
41m 52s fix/cachix-release-timeout
fix/cachix-release-timeout
41m 52s
Testing build K and Publish to Cachix Test PR #7795: Pull request #4895 synchronize by F-WRunTime
27m 43s fix/cachix-release-timeout
fix/cachix-release-timeout
27m 43s
Testing build K and Publish to Cachix Test PR #7794: Pull request #4895 edited by F-WRunTime
37m 37s fix/cachix-release-timeout
fix/cachix-release-timeout
37m 37s
Testing build K and Publish to Cachix Test PR #7793: Pull request #4895 edited by F-WRunTime
40s fix/cachix-release-timeout
fix/cachix-release-timeout
40s
Testing build K and Publish to Cachix Test PR #7792: Pull request #4895 synchronize by F-WRunTime
1m 35s fix/cachix-release-timeout
fix/cachix-release-timeout
1m 35s
Testing build K and Publish to Cachix Test PR #7791: Pull request #4895 synchronize by F-WRunTime
11m 42s fix/cachix-release-timeout
fix/cachix-release-timeout
11m 42s
Testing build K and Publish to Cachix Test PR #7790: Pull request #4895 edited by F-WRunTime
48m 42s fix/cachix-release-timeout
fix/cachix-release-timeout
48m 42s
Testing build K and Publish to Cachix Test PR #7789: Pull request #4895 synchronize by F-WRunTime
13m 14s fix/cachix-release-timeout
fix/cachix-release-timeout
13m 14s
Testing build K and Publish to Cachix Test PR #7788: Pull request #4895 synchronize by F-WRunTime
28s fix/cachix-release-timeout
fix/cachix-release-timeout
28s
Testing build K and Publish to Cachix Test PR #7787: Pull request #4895 synchronize by F-WRunTime
1m 15s fix/cachix-release-timeout
fix/cachix-release-timeout
1m 15s
Testing build K and Publish to Cachix Test PR #7786: Pull request #4895 synchronize by F-WRunTime
13m 56s fix/cachix-release-timeout
fix/cachix-release-timeout
13m 56s
Testing build K and Publish to Cachix Test PR #7785: Pull request #4895 synchronize by F-WRunTime
3m 16s fix/cachix-release-timeout
fix/cachix-release-timeout
3m 16s
Testing build K and Publish to Cachix Test PR #7784: Pull request #4895 synchronize by F-WRunTime
8m 47s fix/cachix-release-timeout
fix/cachix-release-timeout
8m 47s
Testing build K and Publish to Cachix Test PR #7783: Pull request #4895 synchronize by F-WRunTime
13m 37s fix/cachix-release-timeout
fix/cachix-release-timeout
13m 37s
Testing build K and Publish to Cachix Test PR #7782: Pull request #4895 synchronize by F-WRunTime
6m 38s fix/cachix-release-timeout
fix/cachix-release-timeout
6m 38s
Testing build K and Publish to Cachix Test PR #7781: Pull request #4895 edited by F-WRunTime
19m 22s fix/cachix-release-timeout
fix/cachix-release-timeout
19m 22s
Testing build K and Publish to Cachix Test PR #7780: Pull request #4895 synchronize by F-WRunTime
2m 33s fix/cachix-release-timeout
fix/cachix-release-timeout
2m 33s
Testing build K and Publish to Cachix Test PR #7779: Pull request #4895 synchronize by F-WRunTime
30s fix/cachix-release-timeout
fix/cachix-release-timeout
30s
Testing build K and Publish to Cachix Test PR #7778: Pull request #4895 edited by rv-jenkins
20m 33s fix/cachix-release-timeout
fix/cachix-release-timeout
20m 33s
Update dependency: deps/haskell-backend_release Test PR #7777: Pull request #4893 synchronize by rv-jenkins
1h 17m 48s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
1h 17m 48s
Update dependency: deps/haskell-backend_release Test PR #7776: Pull request #4893 opened by rv-jenkins
7m 25s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
7m 25s
Update cachix in CI Test PR #7775: Pull request #4892 synchronize by juliankuners
41m 28s update-cachix-in-ci
update-cachix-in-ci
41m 28s
Update cachix in CI Test PR #7774: Pull request #4892 edited by rv-jenkins
52s update-cachix-in-ci
update-cachix-in-ci
52s
Update dependency: deps/pyproject-build-systems Test PR #7773: Pull request #4889 synchronize by tothtamas28
39m 8s _update-deps-cron/pyproject-build-systems
_update-deps-cron/pyproject-build-systems
39m 8s