Skip to content

Actions: runtimeverification/k

Actions

Bump version and make master job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
develop.yml
421 workflow run results
421 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow specifying that an APRProof generated lemmas should be direct (… Bump version and make master job #959: Commit 6088913 pushed by rv-jenkins
June 12, 2024 13:42 1m 8s develop
develop
June 12, 2024 13:42 1m 8s
Align Pyk's nixpkgs version to the shared K version (#4439) Bump version and make master job #958: Commit b1e6b0a pushed by rv-jenkins
June 12, 2024 11:02 1m 2s develop
develop
June 12, 2024 11:02 1m 2s
Refactor parse_outer (#4436) Bump version and make master job #957: Commit b0b2993 pushed by rv-jenkins
June 11, 2024 18:28 1m 0s develop
develop
June 11, 2024 18:28 1m 0s
Update dependency: deps/llvm-backend_release (#4433) Bump version and make master job #956: Commit 3c49934 pushed by rv-jenkins
June 10, 2024 21:42 1m 11s develop
develop
June 10, 2024 21:42 1m 11s
Drop remaining uses of Intel macOS in CI (#4430) Bump version and make master job #955: Commit 8e95f14 pushed by rv-jenkins
June 10, 2024 17:02 1m 28s develop
develop
June 10, 2024 17:02 1m 28s
Update dependency: deps/llvm-backend_release (#4431) Bump version and make master job #954: Commit 5a6a617 pushed by rv-jenkins
June 10, 2024 09:25 57s develop
develop
June 10, 2024 09:25 57s
Escape literal spaces in Flex regex (#4432) Bump version and make master job #953: Commit f25453d pushed by rv-jenkins
June 10, 2024 08:27 1m 51s develop
develop
June 10, 2024 08:27 1m 51s
Move simple jobs to latest Ubuntu version (#4429) Bump version and make master job #952: Commit 71dc501 pushed by rv-jenkins
June 7, 2024 16:44 1m 52s develop
develop
June 7, 2024 16:44 1m 52s
Update dependency: deps/llvm-backend_release (#4428) Bump version and make master job #951: Commit ca41ff9 pushed by rv-jenkins
June 7, 2024 09:02 1m 17s develop
develop
June 7, 2024 09:02 1m 17s
Add pyk documentation generation script (#4420) Bump version and make master job #950: Commit 0db5358 pushed by tothtamas28
June 6, 2024 19:55 2m 26s develop
develop
June 6, 2024 19:55 2m 26s
Adding new proof trace tests from Pi2 (#4421) Bump version and make master job #949: Commit 6582411 pushed by rv-jenkins
June 6, 2024 17:25 4m 46s develop
develop
June 6, 2024 17:25 4m 46s
Add sort injections on the KAST level (#4418) Bump version and make master job #948: Commit e27815b pushed by rv-jenkins
June 6, 2024 14:03 1m 4s develop
develop
June 6, 2024 14:03 1m 4s
Symlink booster-dev binary into bin/ in the final k derivation (#4424) Bump version and make master job #947: Commit 769927c pushed by rv-jenkins
June 6, 2024 11:42 1m 3s develop
develop
June 6, 2024 11:42 1m 3s
Update dependency: deps/llvm-backend_release (#4423) Bump version and make master job #946: Commit df9a88d pushed by rv-jenkins
June 5, 2024 21:24 2m 37s develop
develop
June 5, 2024 21:24 2m 37s
Update dependency: deps/llvm-backend_release (#4422) Bump version and make master job #945: Commit f4d94c0 pushed by rv-jenkins
June 5, 2024 17:42 1m 33s develop
develop
June 5, 2024 17:42 1m 33s
Extract KSequence elimination as a pass in KAST-to-KORE (#4417) Bump version and make master job #944: Commit af9d3f1 pushed by rv-jenkins
June 5, 2024 16:02 2m 6s develop
develop
June 5, 2024 16:02 2m 6s
Claim dependencies included as subproofs (#4411) Bump version and make master job #943: Commit 5cba505 pushed by rv-jenkins
June 5, 2024 14:26 1m 2s develop
develop
June 5, 2024 14:26 1m 2s
Fix KLabel for #Exists (#4410) Bump version and make master job #942: Commit 7d7db4f pushed by tothtamas28
June 5, 2024 09:44 1m 8s develop
develop
June 5, 2024 09:44 1m 8s
Update dependency: deps/llvm-backend_release (#4414) Bump version and make master job #941: Commit 837f7bd pushed by rv-jenkins
June 4, 2024 21:41 1m 27s develop
develop
June 4, 2024 21:41 1m 27s
Update dependency: deps/haskell-backend_release (#4409) Bump version and make master job #940: Commit a8c5363 pushed by rv-jenkins
June 4, 2024 14:02 1m 9s develop
develop
June 4, 2024 14:02 1m 9s
Update dependency: deps/llvm-backend_release (#4408) Bump version and make master job #939: Commit 6ef6e65 pushed by rv-jenkins
June 4, 2024 08:42 2m 13s develop
develop
June 4, 2024 08:42 2m 13s
Adding inline documentation to prooftrace.py (#4407) Bump version and make master job #938: Commit c4c27ff pushed by rv-jenkins
June 3, 2024 16:27 1m 6s develop
develop
June 3, 2024 16:27 1m 6s
Pretty print brackets in Formatter (#4388) Bump version and make master job #937: Commit 46e6372 pushed by rv-jenkins
June 3, 2024 14:02 1m 7s develop
develop
June 3, 2024 14:02 1m 7s
remove default values from argparse (#4404) Bump version and make master job #936: Commit f0c93bc pushed by rv-jenkins
June 3, 2024 07:02 4m 17s develop
develop
June 3, 2024 07:02 4m 17s
Improve parsing of variables in pyk KAST parser (#4403) Bump version and make master job #935: Commit 10e73a2 pushed by rv-jenkins
May 31, 2024 19:02 1m 25s develop
develop
May 31, 2024 19:02 1m 25s