Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-pr.yml
30 workflow run results
30 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add k-which-python binary in nix Test PR #305: Pull request #3823 opened by goodlyrottenapple
November 20, 2023 17:06 15s sam/k-which-python
sam/k-which-python
November 20, 2023 17:06 15s
make Pattern implement Comparable and also have an Ordering instance Test PR #304: Pull request #3804 opened by dwightguth
November 9, 2023 21:09 19s pattern
pattern
November 9, 2023 21:09 19s
Fix version of mavenix Test PR #303: Pull request #3795 synchronize by goodlyrottenapple
November 7, 2023 13:26 7s sam/mavenix-version-fix
sam/mavenix-version-fix
November 7, 2023 13:26 7s
Fix version of mavenix Test PR #302: Pull request #3795 opened by goodlyrottenapple
November 7, 2023 13:26 17s sam/mavenix-version-fix
sam/mavenix-version-fix
November 7, 2023 13:26 17s
Update Bencher's version Test PR #301: Pull request #3792 opened by Robertorosmaninho
November 6, 2023 19:00 25s update-bencher
update-bencher
November 6, 2023 19:00 25s
Avoid overlap of equations for Bool combinators simplifications Test PR #300: Pull request #3789 opened by jberthold
November 3, 2023 00:00 26s jb/disambiguate-bool-combinator-rules-2
jb/disambiguate-bool-combinator-rules-2
November 3, 2023 00:00 26s
Declare all Bool combinator equations simplifications (to disambiguate cases) Test PR #299: Pull request #3786 opened by jberthold
November 2, 2023 03:22 19s jb/disambiguate-bool-combinator-rules
jb/disambiguate-bool-combinator-rules
November 2, 2023 03:22 19s
delete jung dependency Test PR #298: Pull request #3777 opened by dwightguth
October 30, 2023 16:53 20s deps3
deps3
October 30, 2023 16:53 20s
update the version of a couple vulnerable dependencies Test PR #297: Pull request #3775 opened by dwightguth
October 30, 2023 16:28 19s deps2
deps2
October 30, 2023 16:28 19s
Pin nixpkgs to haskell-backend Test PR #296: Pull request #3754 opened by goodlyrottenapple
October 25, 2023 08:56 27s sam/pin-nixpkgs-to-haskell-backend
sam/pin-nixpkgs-to-haskell-backend
October 25, 2023 08:56 27s
Update nix install script Test PR #295: Pull request #3747 opened by goodlyrottenapple
October 24, 2023 11:17 26s sam/nix-install-script
sam/nix-install-script
October 24, 2023 11:17 26s
Fix release by installing Calibre 6 Test PR #294: Pull request #3742 opened by Baltoli
October 23, 2023 13:15 24s calibre
calibre
October 23, 2023 13:15 24s
Fix for macOS nix / kup breakage Test PR #293: Pull request #3741 opened by Baltoli
October 23, 2023 12:20 28s macos-nix-break
macos-nix-break
October 23, 2023 12:20 28s
Slimmer nix runtime closure Test PR #292: Pull request #3734 opened by goodlyrottenapple
October 20, 2023 10:32 21s sam/slimmer-nix
sam/slimmer-nix
October 20, 2023 10:32 21s
[draft] slimmer nix Test PR #291: Pull request #3727 opened by goodlyrottenapple
October 18, 2023 15:52 23s sam/slim-nix
sam/slim-nix
October 18, 2023 15:52 23s
Support for memset hook. Test PR #290: Pull request #3722 opened by mariaKt
October 17, 2023 21:19 22s bytes-memset
bytes-memset
October 17, 2023 21:19 22s
Make bison parser enabled by default Test PR #289: Pull request #3721 opened by dwightguth
October 17, 2023 18:20 21s bison-default
bison-default
October 17, 2023 18:20 21s
[DNM] Patched CI run to see what's wrong with the release Test PR #288: Pull request #3707 opened by Baltoli
October 13, 2023 08:54 22s fix-release
fix-release
October 13, 2023 08:54 22s
Add option to print better parse errors Test PR #287: Pull request #3700 opened by Baltoli
October 11, 2023 14:37 27s better-parse-errors
better-parse-errors
October 11, 2023 14:37 27s
Test K version output on packaging Test PR #286: Pull request #3692 synchronize by Robertorosmaninho
October 4, 2023 16:40 6s fix-and-test-k-version
fix-and-test-k-version
October 4, 2023 16:40 6s
Test K version output on packaging Test PR #285: Pull request #3692 opened by Robertorosmaninho
October 4, 2023 16:39 27s fix-and-test-k-version
fix-and-test-k-version
October 4, 2023 16:39 27s
Packaging: version path fix Test PR #284: Pull request #3691 opened by gtrepta
October 4, 2023 15:57 20s version-file2
version-file2
October 4, 2023 15:57 20s
Updating the version of z3 4.8.15 > 4.12.1 Test PR #283: Pull request #3689 opened by F-WRunTime
October 3, 2023 20:39 23s hotfix/z3-version-bump
hotfix/z3-version-bump
October 3, 2023 20:39 23s
Z3VersionBump Test PR #282: Pull request #3688 opened by F-WRunTime
October 3, 2023 20:29 25s hotfix/z3-version-sync
hotfix/z3-version-sync
October 3, 2023 20:29 25s
Introduces --debugger-command flag to krun Test PR #281: Pull request #3687 opened by Robertorosmaninho
October 3, 2023 17:14 22s new-debugger-flag-in-krun
new-debugger-flag-in-krun
October 3, 2023 17:14 22s