Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Builing MacOS Package on MacOS 13 Test PR #280: Pull request #3686 opened by Robertorosmaninho
October 2, 2023 22:00 24s change-build-macos-runner
change-build-macos-runner
October 2, 2023 22:00 24s