Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-pr.yml
16 workflow run results
16 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