Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix bug in ExpandMacros if variable matches a Rewrite Test PR #332: Pull request #4140 opened by dwightguth
March 27, 2024 17:20 22s macros2
macros2
March 27, 2024 17:20 22s
add a few list lemmas to domains.md Test PR #331: Pull request #4137 opened by dwightguth
March 26, 2024 18:50 18s list-symbolic
list-symbolic
March 26, 2024 18:50 18s
Sort arguments of attributes priorities, left and right Test PR #330: Pull request #4122 opened by tothtamas28
March 21, 2024 12:37 16s sort-att-args
sort-att-args
March 21, 2024 12:37 16s
Add total attribute to projection functions for named nonterminals which are total Test PR #329: Pull request #4118 opened by dwightguth
March 20, 2024 21:09 22s total-proj
total-proj
March 20, 2024 21:09 22s
Fix Sort ordering Test PR #328: Pull request #4100 opened by tothtamas28
March 14, 2024 14:58 18s fix-sort-ordering
fix-sort-ordering
March 14, 2024 14:58 18s
add pushList function to LIST module in k prelude Test PR #327: Pull request #4074 opened by dwightguth
March 4, 2024 19:08 16s pushlist
pushlist
March 4, 2024 19:08 16s
Inherited Old Node16 version usage in actions in actions. Test PR #326: Pull request #4060 opened by F-WRunTime
February 28, 2024 15:34 17s additional-action-v-updates
additional-action-v-updates
February 28, 2024 15:34 17s
Miscellaneous Scala clean up Test PR #325: Pull request #4055 opened by Scott-Guest
February 28, 2024 02:20 27s scala-cleanup
scala-cleanup
February 28, 2024 02:20 27s
Revamp installation instructions Test PR #324: Pull request #4047 opened by geo2a
February 26, 2024 19:47 15s update-installation-notes
update-installation-notes
February 26, 2024 19:47 15s
[DNM] testing CI on composite PR Test PR #323: Pull request #4020 opened by Baltoli
February 21, 2024 12:14 19s ci-dotk-test
ci-dotk-test
February 21, 2024 12:14 19s
[DNM] Fix .K / . for tests that use LLVM backend's kprint Test PR #322: Pull request #4019 opened by Baltoli
February 20, 2024 21:20 21s drop-bare-dot-llvm
drop-bare-dot-llvm
February 20, 2024 21:20 21s
Remove Att methods based on Class rather than Att.Key Test PR #321: Pull request #4008 opened by Scott-Guest
February 19, 2024 19:39 17s keyed-atts
keyed-atts
February 19, 2024 19:39 17s
Mark MAP.lookup* rules as preserving-definedness, add in_keys rules Test PR #320: Pull request #3987 opened by jberthold
February 14, 2024 03:48 34s jb/lookup-definedness-and-in_keys-rules
jb/lookup-definedness-and-in_keys-rules
February 14, 2024 03:48 34s
add back "dead" code that was actually live Test PR #319: Pull request #3974 opened by dwightguth
February 9, 2024 17:39 29s fix-dead-code-removal
fix-dead-code-removal
February 9, 2024 17:39 29s
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