Skip to content

Actions: runtimeverification/hs-backend-booster

Actions

Build + Test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Emit JSON simplification logs with -l SimplifyJson Build + Test #2375: Pull request #516 synchronize by geo2a
March 7, 2024 15:05 22m 37s georgy/structured-logging
georgy/structured-logging
March 7, 2024 15:05 22m 37s
Emit JSON simplification logs with -l SimplifyJson Build + Test #2374: Pull request #516 synchronize by geo2a
March 7, 2024 14:53 12m 25s georgy/structured-logging
georgy/structured-logging
March 7, 2024 14:53 12m 25s
Emit JSON simplification logs with -l SimplifyJson Build + Test #2373: Pull request #516 synchronize by geo2a
March 7, 2024 13:00 20m 8s georgy/structured-logging
georgy/structured-logging
March 7, 2024 13:00 20m 8s
Emit JSON simplification logs with -l SimplifyJson Build + Test #2372: Pull request #516 synchronize by geo2a
March 7, 2024 12:27 16m 12s georgy/structured-logging
georgy/structured-logging
March 7, 2024 12:27 16m 12s
Add bug report option to the kontrol performance script Build + Test #2371: Pull request #541 synchronize by goodlyrottenapple
March 7, 2024 11:03 15m 6s sam/performance-kontrol-script-bug-report
sam/performance-kontrol-script-bug-report
March 7, 2024 11:03 15m 6s
Fix abort reason analysis script, wait longer for server (#542) Build + Test #2370: Commit cd8bac1 pushed by jberthold
March 7, 2024 10:01 26m 25s main
main
March 7, 2024 10:01 26m 25s
Fix abort reason analysis script, wait longer for server Build + Test #2369: Pull request #542 opened by jberthold
March 7, 2024 03:07 16m 42s HOTFIX-fix-analysis-script-for-newer-ghc
HOTFIX-fix-analysis-script-for-newer-ghc
March 7, 2024 03:07 16m 42s
Update dependency: deps/k_release Build + Test #2368: Pull request #534 synchronize by rv-jenkins
March 6, 2024 23:06 17m 58s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
March 6, 2024 23:06 17m 58s
Add bug report option to the kontrol performance script Build + Test #2367: Pull request #541 opened by goodlyrottenapple
March 6, 2024 16:25 20m 25s sam/performance-kontrol-script-bug-report
sam/performance-kontrol-script-bug-report
March 6, 2024 16:25 20m 25s
Remove the code that handles redirecting the GHC eventlog into a file… Build + Test #2366: Commit 1644ab5 pushed by rv-jenkins
March 6, 2024 10:25 18m 26s main
main
March 6, 2024 10:25 18m 26s
Emit JSON simplification logs with -l SimplifyJson Build + Test #2365: Pull request #516 synchronize by geo2a
March 5, 2024 12:08 15m 15s georgy/structured-logging
georgy/structured-logging
March 5, 2024 12:08 15m 15s
Emit JSON simplification logs with -l SimplifyJson Build + Test #2364: Pull request #516 synchronize by geo2a
March 5, 2024 12:03 5m 25s georgy/structured-logging
georgy/structured-logging
March 5, 2024 12:03 5m 25s
Remove the code that handles redirecting the GHC eventlog into a file Build + Test #2363: Pull request #537 opened by geo2a
March 5, 2024 11:44 20m 49s georgy/remove-eventlog-hijack
georgy/remove-eventlog-hijack
March 5, 2024 11:44 20m 49s
Emit JSON simplification logs with -l SimplifyJson Build + Test #2362: Pull request #516 synchronize by geo2a
March 5, 2024 09:29 23m 26s georgy/structured-logging
georgy/structured-logging
March 5, 2024 09:29 23m 26s
Update dependency: deps/haskell-backend_release (#535) Build + Test #2361: Commit 243529c pushed by rv-jenkins
March 5, 2024 09:25 15m 39s main
main
March 5, 2024 09:25 15m 39s
Update dependency: deps/haskell-backend_release Build + Test #2360: Pull request #535 synchronize by rv-jenkins
March 5, 2024 08:42 25m 31s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
March 5, 2024 08:42 25m 31s
519 - use SmtSolverError for all Smt-related errors in booster (#525) Build + Test #2359: Commit 099d445 pushed by rv-jenkins
March 5, 2024 08:25 17m 31s main
main
March 5, 2024 08:25 17m 31s
Update dependency: deps/haskell-backend_release Build + Test #2358: Pull request #535 synchronize by rv-jenkins
March 5, 2024 08:10 23m 50s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
March 5, 2024 08:10 23m 50s
Update dependency: deps/haskell-backend_release Build + Test #2357: Pull request #535 synchronize by rv-jenkins
March 5, 2024 08:07 3m 30s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
March 5, 2024 08:07 3m 30s
519 - use SmtSolverError for all Smt-related errors in booster Build + Test #2356: Pull request #525 synchronize by jberthold
March 5, 2024 08:00 18m 20s 519-use-SmtSolverError-in-booster
519-use-SmtSolverError-in-booster
March 5, 2024 08:00 18m 20s
Emit JSON simplification logs with -l SimplifyJson Build + Test #2355: Pull request #516 synchronize by geo2a
March 4, 2024 16:09 35m 30s georgy/structured-logging
georgy/structured-logging
March 4, 2024 16:09 35m 30s
Update dependency: deps/k_release Build + Test #2354: Pull request #534 synchronize by rv-jenkins
March 4, 2024 13:44 24m 0s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
March 4, 2024 13:44 24m 0s
Update dependency: deps/haskell-backend_release Build + Test #2353: Pull request #535 synchronize by rv-jenkins
March 4, 2024 09:09 47m 34s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
March 4, 2024 09:09 47m 34s
Update dependency: deps/haskell-backend_release Build + Test #2352: Pull request #535 synchronize by rv-jenkins
March 4, 2024 09:06 3m 29s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
March 4, 2024 09:06 3m 29s
519 - use SmtSolverError for all Smt-related errors in booster Build + Test #2351: Pull request #525 synchronize by jberthold
March 4, 2024 01:27 21m 14s 519-use-SmtSolverError-in-booster
519-use-SmtSolverError-in-booster
March 4, 2024 01:27 21m 14s