Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
653 workflow run results
653 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add AST term for LeftAssoc and RightAssoc in case you want to serialize them Test PR #2890: Pull request #3668 edited by rv-jenkins
September 27, 2023 15:31 34m 13s assoc-term
assoc-term
September 27, 2023 15:31 34m 13s
kast --debug-tokens Test PR #2889: Pull request #3660 synchronize by radumereuta
September 27, 2023 15:14 1h 8m 36s showTokens
showTokens
September 27, 2023 15:14 1h 8m 36s
remove build extension for aws s3 that is no longer used Test PR #2888: Pull request #3665 synchronize by F-WRunTime
September 27, 2023 14:57 37m 52s no_aws
no_aws
September 27, 2023 14:57 37m 52s
ProTip! You can narrow down the results and go further in time using created:<2023-09-27 or the other filters available.