Skip to content

Actions: runtimeverification/kframework-rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Move build-and-test onto a public runner Test PR #40: Pull request #14 synchronize by tothtamas28
3m 1s public-runners
public-runners
3m 1s
Move build-and-test onto a public runner Test PR #39: Pull request #14 synchronize by tothtamas28
2m 21s public-runners
public-runners
2m 21s
Move build-and-test onto a public runner Test PR #38: Pull request #14 synchronize by tothtamas28
3m 26s public-runners
public-runners
3m 26s
Move build-and-test onto a public runner Test PR #37: Pull request #14 synchronize by tothtamas28
3m 54s public-runners
public-runners
3m 54s
Move build-and-test onto a public runner Test PR #36: Pull request #14 opened by tothtamas28
3m 26s public-runners
public-runners
3m 26s
Add LICENSE and README.md Test PR #35: Pull request #13 opened by tothtamas28
3m 47s license-and-readme
license-and-readme
3m 47s
Fix Str marshalling Test PR #34: Pull request #12 opened by tothtamas28
3m 28s fix-string-marshalling
fix-string-marshalling
3m 28s
kframework_ffi: Fixes and Improvements Test PR #33: Pull request #11 synchronize by gtrepta
3m 44s marshaller-fixes
marshaller-fixes
3m 44s
kframework_ffi: Fixes and Improvements Test PR #32: Pull request #11 opened by gtrepta
3m 41s marshaller-fixes
marshaller-fixes
3m 41s
feat(kframework_ffi): Marshaller for moving rust kore types to the llvm-backend Test PR #31: Pull request #10 synchronize by gtrepta
3m 47s ffi_additions
ffi_additions
3m 47s
feat(kframework_ffi): Marshaller for moving rust kore types to the llvm-backend Test PR #30: Pull request #10 opened by gtrepta
2m 18s ffi_additions
ffi_additions
2m 18s
NOMERGE: Python bindings proof of concept Test PR #29: Pull request #9 opened by gtrepta
2m 42s python
python
2m 42s
Introduce KError enum for more maintainable error handling Test PR #28: Pull request #8 opened by gtrepta
1m 26s errors
errors
1m 26s
Arrange repo into a Cargo workspace Test PR #27: Pull request #7 synchronize by gtrepta
2m 41s workspace
workspace
2m 41s
Arrange repo into a Cargo workspace Test PR #26: Pull request #7 synchronize by gtrepta
3m 17s workspace
workspace
3m 17s
Arrange repo into a Cargo workspace Test PR #25: Pull request #7 synchronize by gtrepta
2m 52s workspace
workspace
2m 52s
Arrange repo into a Cargo workspace Test PR #24: Pull request #7 opened by gtrepta
2m 4s workspace
workspace
2m 4s
Update .gitignore to include .DS_Store Test PR #23: Pull request #6 synchronize by Stevengre
12m 5s ignore4mac
ignore4mac
12m 5s
Update .gitignore to include .DS_Store Test PR #22: Pull request #6 synchronize by Stevengre
46s ignore4mac
ignore4mac
46s
Update .gitignore to include .DS_Store Test PR #21: Pull request #6 opened by Stevengre
1m 9s ignore4mac
ignore4mac
1m 9s
FFI for KLLVM Test PR #20: Pull request #4 synchronize by gtrepta
1m 26s guy/kframework_ffi
guy/kframework_ffi
1m 26s
FFI for KLLVM Test PR #19: Pull request #4 synchronize by gtrepta
1m 27s guy/kframework_ffi
guy/kframework_ffi
1m 27s
FFI for KLLVM Test PR #18: Pull request #4 synchronize by gtrepta
1m 35s guy/kframework_ffi
guy/kframework_ffi
1m 35s
FFI for KLLVM Test PR #17: Pull request #4 synchronize by gtrepta
58s guy/kframework_ffi
guy/kframework_ffi
58s
FFI for KLLVM Test PR #16: Pull request #4 synchronize by gtrepta
1m 16s guy/kframework_ffi
guy/kframework_ffi
1m 16s