Skip to content

Actions: runtimeverification/haskell-backend

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
1,657 workflow runs
1,657 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

modified: .github/workflows/release.yml Test #6963: Pull request #4093 synchronize by F-WRunTime
February 27, 2025 16:12 29m 23s feature/publish-to-cachix
feature/publish-to-cachix
February 27, 2025 16:12 29m 23s
Remove mutex around LLVM calls from booster Test #6962: Pull request #4087 synchronize by palinatolmach
February 27, 2025 11:52 40m 23s enable-parallel-calls-to-llvm
enable-parallel-calls-to-llvm
February 27, 2025 11:52 40m 23s
Hs dependency upgrade Test #6961: Pull request #4094 synchronize by jberthold
February 25, 2025 03:46 32m 40s hs-dependency-upgrade
hs-dependency-upgrade
February 25, 2025 03:46 32m 40s
Hs dependency upgrade Test #6960: Pull request #4094 synchronize by jberthold
February 25, 2025 00:58 32m 31s hs-dependency-upgrade
hs-dependency-upgrade
February 25, 2025 00:58 32m 31s
Hs dependency upgrade Test #6959: Pull request #4094 synchronize by jberthold
February 25, 2025 00:37 21m 25s hs-dependency-upgrade
hs-dependency-upgrade
February 25, 2025 00:37 21m 25s
Hs dependency upgrade Test #6958: Pull request #4094 synchronize by jberthold
February 24, 2025 22:54 37m 58s hs-dependency-upgrade
hs-dependency-upgrade
February 24, 2025 22:54 37m 58s
Hs dependency upgrade Test #6957: Pull request #4094 synchronize by rv-jenkins
February 24, 2025 11:02 1m 12s hs-dependency-upgrade
hs-dependency-upgrade
February 24, 2025 11:02 1m 12s
Hs dependency upgrade Test #6956: Pull request #4094 synchronize by jberthold
February 24, 2025 11:00 1m 48s hs-dependency-upgrade
hs-dependency-upgrade
February 24, 2025 11:00 1m 48s
Hs dependency upgrade Test #6955: Pull request #4094 synchronize by jberthold
February 24, 2025 08:14 2h 23m 31s hs-dependency-upgrade
hs-dependency-upgrade
February 24, 2025 08:14 2h 23m 31s
Hs dependency upgrade Test #6954: Pull request #4094 synchronize by jberthold
February 24, 2025 08:07 48s hs-dependency-upgrade
hs-dependency-upgrade
February 24, 2025 08:07 48s
Hs dependency upgrade Test #6953: Pull request #4094 synchronize by jberthold
February 24, 2025 08:01 52s hs-dependency-upgrade
hs-dependency-upgrade
February 24, 2025 08:01 52s
Hs dependency upgrade Test #6952: Pull request #4094 synchronize by jberthold
February 24, 2025 07:40 21m 50s hs-dependency-upgrade
hs-dependency-upgrade
February 24, 2025 07:40 21m 50s
Hs dependency upgrade Test #6951: Pull request #4094 synchronize by jberthold
February 24, 2025 07:21 19m 3s hs-dependency-upgrade
hs-dependency-upgrade
February 24, 2025 07:21 19m 3s
Hs dependency upgrade Test #6950: Pull request #4094 synchronize by jberthold
February 24, 2025 06:05 1h 16m 46s hs-dependency-upgrade
hs-dependency-upgrade
February 24, 2025 06:05 1h 16m 46s
Hs dependency upgrade Test #6949: Pull request #4094 synchronize by jberthold
February 24, 2025 05:41 2m 24s hs-dependency-upgrade
hs-dependency-upgrade
February 24, 2025 05:41 2m 24s
Hs dependency upgrade Test #6948: Pull request #4094 opened by jberthold
February 24, 2025 05:37 1m 5s hs-dependency-upgrade
hs-dependency-upgrade
February 24, 2025 05:37 1m 5s
modified: .github/workflows/release.yml Test #6947: Pull request #4093 opened by F-WRunTime
February 21, 2025 16:48 42m 0s feature/publish-to-cachix
feature/publish-to-cachix
February 21, 2025 16:48 42m 0s
Update LICENSE Test #6946: Pull request #4092 opened by maximevtush
February 7, 2025 11:27 Action required maximevtush:patch-1
maximevtush:patch-1
February 7, 2025 11:27 Action required
Update LICENSE Test #6945: Pull request #4091 opened by maximevtush
February 7, 2025 11:26 Action required maximevtush:patch-2
maximevtush:patch-2
February 7, 2025 11:26 Action required
Update dependency: deps/k_release Test #6944: Pull request #4090 opened by rv-jenkins
February 5, 2025 04:56 1h 13m 19s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
February 5, 2025 04:56 1h 13m 19s
Update dependency: deps/k_release Test #6943: Pull request #4088 synchronize by rv-jenkins
February 3, 2025 17:43 1h 23m 25s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
February 3, 2025 17:43 1h 23m 25s
Update dependency: deps/k_release Test #6942: Pull request #4088 synchronize by rv-jenkins
February 3, 2025 14:26 1h 16m 35s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
February 3, 2025 14:26 1h 16m 35s
Use coherent env. in release.yml Test #6941: Pull request #4075 synchronize by jberthold
January 27, 2025 21:56 28m 53s Adjust-release-env
Adjust-release-env
January 27, 2025 21:56 28m 53s
Update dependency: deps/k_release Test #6940: Pull request #4088 synchronize by rv-jenkins
January 27, 2025 13:28 1h 14m 15s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
January 27, 2025 13:28 1h 14m 15s
Update dependency: deps/k_release Test #6939: Pull request #4088 synchronize by rv-jenkins
January 23, 2025 19:11 1h 5m 20s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
January 23, 2025 19:11 1h 5m 20s