Skip to content

Actions: tum-i4/rustyrts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
113 workflow runs
113 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small fix concerning drop and added tests for drop rustyrts - Test #58: Commit 6fb57d8 pushed by hundsdor
March 15, 2024 12:46 2m 9s develop
develop
March 15, 2024 12:46 2m 9s
Cleaned up visitor and fixed compilation error on extern statics rustyrts - Test #57: Commit 40065d7 pushed by hundsdor
March 13, 2024 22:14 1m 38s develop
develop
March 13, 2024 22:14 1m 38s
Cleaned up visitor and fixed compilation error on extern statics rustyrts - Test #56: Commit d89e13d pushed by hundsdor
March 13, 2024 19:55 1m 43s develop
develop
March 13, 2024 19:55 1m 43s
Fixed some graph discontinuities in the context of statics rustyrts - Test #55: Commit 5a79512 pushed by hundsdor
March 9, 2024 13:40 1m 36s develop
develop
March 9, 2024 13:40 1m 36s
Also visit promoted mir of statics rustyrts - Test #54: Commit 3bfaddb pushed by hundsdor
March 9, 2024 12:50 1m 58s develop
develop
March 9, 2024 12:50 1m 58s
Merge pull request #5 from tum-i4/develop rustyrts - Test #53: Commit f34c7ef pushed by hundsdor
March 8, 2024 21:59 1m 56s main
main
March 8, 2024 21:59 1m 56s
Merge develop into main rustyrts - Test #52: Pull request #5 synchronize by hundsdor
March 8, 2024 21:57 1m 51s develop
develop
March 8, 2024 21:57 1m 51s
Improved README rustyrts - Test #51: Commit a542344 pushed by hundsdor
March 8, 2024 21:57 2m 3s develop
develop
March 8, 2024 21:57 2m 3s
Merge develop into main rustyrts - Test #50: Pull request #5 synchronize by hundsdor
March 3, 2024 23:55 1m 38s develop
develop
March 3, 2024 23:55 1m 38s
Merge develop into main rustyrts - Test #49: Pull request #5 synchronize by hundsdor
March 3, 2024 23:46 1m 38s develop
develop
March 3, 2024 23:46 1m 38s
Rename conflicting symbols rustyrts - Test #48: Commit 8051273 pushed by hundsdor
March 3, 2024 23:46 2m 9s develop
develop
March 3, 2024 23:46 2m 9s
Merge develop into main rustyrts - Test #47: Pull request #5 synchronize by hundsdor
March 1, 2024 18:16 1m 52s develop
develop
March 1, 2024 18:16 1m 52s
Use hash in place of closure names in generics rustyrts - Test #46: Commit 99fd163 pushed by hundsdor
March 1, 2024 18:16 2m 11s develop
develop
March 1, 2024 18:16 2m 11s
Merge develop into main rustyrts - Test #45: Pull request #5 synchronize by hundsdor
February 27, 2024 14:54 1m 42s develop
develop
February 27, 2024 14:54 1m 42s
Account for upstream monomorphization rustyrts - Test #44: Commit 1282be1 pushed by hundsdor
February 27, 2024 14:54 1m 59s develop
develop
February 27, 2024 14:54 1m 59s
Merge develop into main rustyrts - Test #43: Pull request #5 synchronize by hundsdor
February 25, 2024 20:56 1m 48s develop
develop
February 25, 2024 20:56 1m 48s
Account for nested closures and non-local vtable entries rustyrts - Test #42: Commit df491ac pushed by hundsdor
February 25, 2024 20:56 1m 35s develop
develop
February 25, 2024 20:56 1m 35s
Merge develop into main rustyrts - Test #41: Pull request #5 synchronize by hundsdor
February 25, 2024 20:10 1m 37s develop
develop
February 25, 2024 20:10 1m 37s
Account for nested closures rustyrts - Test #40: Commit b8072b2 pushed by hundsdor
February 25, 2024 20:10 1m 37s develop
develop
February 25, 2024 20:10 1m 37s
Merge develop into main rustyrts - Test #39: Pull request #5 synchronize by hundsdor
February 23, 2024 22:40 1m 59s develop
develop
February 23, 2024 22:40 1m 59s
Fix weird llvm error in tracing when running cargo build rustyrts - Test #38: Commit 2e8587f pushed by hundsdor
February 23, 2024 22:40 1m 39s develop
develop
February 23, 2024 22:40 1m 39s
Merge develop into main rustyrts - Test #37: Pull request #5 synchronize by hundsdor
February 22, 2024 15:37 1m 51s develop
develop
February 22, 2024 15:37 1m 51s
Partially monomorphize names rustyrts - Test #36: Commit 7340fdd pushed by hundsdor
February 22, 2024 15:37 1m 56s develop
develop
February 22, 2024 15:37 1m 56s
Do not consider packages for evaluating rustyrts mutants-rts - Test #25: Commit 3e6db6c pushed by hundsdor
February 22, 2024 13:03 4m 48s mutants-rts
mutants-rts
February 22, 2024 13:03 4m 48s
Merge develop into main rustyrts - Test #35: Pull request #5 synchronize by hundsdor
February 22, 2024 00:26 1m 38s develop
develop
February 22, 2024 00:26 1m 38s