Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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