Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clean up CheckAtt Test PR #318: Pull request #3943 opened by Scott-Guest
February 1, 2024 04:42 17s check-att-cleanup
check-att-cleanup
February 1, 2024 04:42 17s
add new classpath dir in ~/.local Test PR #317: Pull request #3927 opened by dwightguth
January 25, 2024 18:24 15s classpath
classpath
January 25, 2024 18:24 15s
Add link to pyk to the web documentation Test PR #316: Pull request #3922 opened by tothtamas28
January 24, 2024 10:10 18s add-pyk-link
add-pyk-link
January 24, 2024 10:10 18s
Check out PL code explicitly when building GitHub pages Test PR #315: Pull request #3917 opened by Baltoli
January 19, 2024 16:04 15s fix-gh-build
fix-gh-build
January 19, 2024 16:04 15s
Tiny readme update to trigger a release Test PR #314: Pull request #3914 synchronize by geo2a
January 19, 2024 10:36 23s dummy-readme-update
dummy-readme-update
January 19, 2024 10:36 23s
Tiny readme update to trigger a release Test PR #313: Pull request #3914 opened by geo2a
January 19, 2024 10:36 15s dummy-readme-update
dummy-readme-update
January 19, 2024 10:36 15s
Manually update booster Test PR #312: Pull request #3913 opened by geo2a
January 19, 2024 08:23 23s update-booster
update-booster
January 19, 2024 08:23 23s
hot fix Test PR #309: Pull request #3860 opened by asavienko
December 8, 2023 00:18 24s git-pages/hot-fix
git-pages/hot-fix
December 8, 2023 00:18 24s
hot fix Test PR #308: Pull request #3859 synchronize by asavienko
December 8, 2023 00:17 16s git-pages/hot-fix
git-pages/hot-fix
December 8, 2023 00:17 16s
hot fix (#3857) Test PR #307: Pull request #3858 opened by asavienko
December 7, 2023 21:29 18s develop
develop
December 7, 2023 21:29 18s
hot fix Test PR #306: Pull request #3857 opened by asavienko
December 7, 2023 20:13 21s git-pages/hot-fix
git-pages/hot-fix
December 7, 2023 20:13 21s
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