Skip to content

Actions: runtimeverification/haskell-backend

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
234 workflow runs
234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Expose booster-dev (#3856) Release #804: Commit df703fe pushed by geo2a
May 10, 2024 10:35 21m 21s master
master
May 10, 2024 10:35 21m 21s
Enable pre-kompilation of K definitions and specs (#3853) Release #803: Commit aa1bc71 pushed by rv-jenkins
May 10, 2024 09:24 19m 56s master
master
May 10, 2024 09:24 19m 56s
Implies endpoint in booster (#3846) Release #802: Commit a0ca443 pushed by rv-jenkins
May 8, 2024 15:24 18m 47s master
master
May 8, 2024 15:24 18m 47s
Add details to evaluation aborts that cause warnings (#3851) Release #801: Commit 538d079 pushed by rv-jenkins
May 7, 2024 11:41 27m 44s master
master
May 7, 2024 11:41 27m 44s
Reuse kompiled contracts.k and foundry.k in Kontrol performance t… Release #800: Commit eb0ec76 pushed by rv-jenkins
May 7, 2024 10:02 27m 56s master
master
May 7, 2024 10:02 27m 56s
One-line contextual logging of Kore actions (#3837) Release #799: Commit fcaae28 pushed by rv-jenkins
May 7, 2024 08:02 22m 44s master
master
May 7, 2024 08:02 22m 44s
Update dependency: deps/k_release (#3806) Release #798: Commit 88ef647 pushed by jberthold
May 3, 2024 08:01 17m 34s master
master
May 3, 2024 08:01 17m 34s
Add log-timing for implies and simplify in docs (#3844) Release #797: Commit 659a079 pushed by rv-jenkins
May 3, 2024 01:32 22m 31s master
master
May 3, 2024 01:32 22m 31s
3813 add selected hooks for INT, BOOL, MAP, LIST (#3828) Release #796: Commit a0907df pushed by jberthold
May 3, 2024 00:31 20m 6s master
master
May 3, 2024 00:31 20m 6s
Allow kore-rpc-booster to read additional options from KORE_RPC_OPTS … Release #795: Commit 5db6dfc pushed by rv-jenkins
May 2, 2024 13:23 37m 15s master
master
May 2, 2024 13:23 37m 15s
Fix collections internalisation (#3841) Release #794: Commit 8a9161b pushed by goodlyrottenapple
May 2, 2024 12:22 13m 8s master
master
May 2, 2024 12:22 13m 8s
Retrigger run when pushing formatting changes via CI (#3843) Release #793: Commit f2e04c2 pushed by goodlyrottenapple
May 2, 2024 10:40 12m 47s master
master
May 2, 2024 10:40 12m 47s
Update docs with information about new branching fields (#3838) Release #792: Commit 6028508 pushed by goodlyrottenapple
May 1, 2024 11:20 29m 42s master
master
May 1, 2024 11:20 29m 42s
add docs about logging with timestamps (#3839) Release #791: Commit ab4a7fb pushed by goodlyrottenapple
April 30, 2024 14:30 27m 27s master
master
April 30, 2024 14:30 27m 27s
Adjust name for =/=K hook (#3835) Release #790: Commit c42b8f0 pushed by rv-jenkins
April 30, 2024 03:02 26m 23s master
master
April 30, 2024 03:02 26m 23s
Implement better booster logging (#3826) Release #789: Commit 7735c2f pushed by jberthold
April 29, 2024 23:44 18m 26s master
master
April 29, 2024 23:44 18m 26s
Matching code cleanup (#3820) Release #788: Commit 94693a8 pushed by goodlyrottenapple
April 29, 2024 13:07 19m 40s master
master
April 29, 2024 13:07 19m 40s
Fix json logging redirection predicate (#3832) Release #787: Commit 3828397 pushed by rv-jenkins
April 26, 2024 12:02 17m 50s master
master
April 26, 2024 12:02 17m 50s
Set extended timeout _after_ SMT.reinit in retries (#3829) Release #786: Commit 28f515b pushed by jberthold
April 26, 2024 06:52 26m 18s master
master
April 26, 2024 06:52 26m 18s
Add JSON logging to Kore (#3824) Release #785: Commit c391d6b pushed by rv-jenkins
April 24, 2024 17:02 26m 25s master
master
April 24, 2024 17:02 26m 25s
Do not output attribute information when unparsing TermLike (#3823) Release #784: Commit 0fa22f7 pushed by rv-jenkins
April 24, 2024 14:26 26m 16s master
master
April 24, 2024 14:26 26m 16s
Booster flag to disable simplification before fall-back request (#3825) Release #783: Commit 588f287 pushed by jberthold
April 24, 2024 11:55 19m 2s master
master
April 24, 2024 11:55 19m 2s
Do not run unit test as part of integration tests (#3827) Release #782: Commit 089deaf pushed by rv-jenkins
April 24, 2024 07:42 18m 50s master
master
April 24, 2024 07:42 18m 50s
MX Performance and booster analysis script tweaks (#3822) Release #781: Commit 68bea10 pushed by jberthold
April 22, 2024 12:16 18m 44s master
master
April 22, 2024 12:16 18m 44s
fix kontrol performance script (#3821) Release #780: Commit 2d3c935 pushed by jberthold
April 21, 2024 23:31 19m 21s master
master
April 21, 2024 23:31 19m 21s