Skip to content

Commit 8c4f8c5

Browse files
committed
Revert "Auto merge of #514 - RalfJung:patch-1, r=pietroalbini"
This reverts commit f991050, reversing changes made to e3887ac.
1 parent b7a29ff commit 8c4f8c5

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

config.toml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -118,7 +118,6 @@ treeflection = { skip-tests = true } # flaky test
118118
update_rate = { skip-tests = true } # flaky tests
119119
urdf-viz = { skip = true } # flaky build
120120
vidar = { skip-tests = true } # flaky test
121-
xtp = { skip = true } # setrlimit(RLIMIT_CORE): Operation not permitted
122121

123122
[github-repos]
124123
# "org_name/repo_name" = { option = true }
@@ -130,6 +129,5 @@ xtp = { skip = true } # setrlimit(RLIMIT_CORE): Operation not permitted
130129
"kellymclaughlin/rust-quickcheck-example" = { skip-tests = true } # flaky tests
131130
"otaviopace/minigrep" = { skip-tests = true } # flaky tests
132131
"wischli/rpaillier" = { skip-tests = true } # flaky tests
133-
"luc-tielen/fire-emblem-rs" = { skip = true } # setrlimit(RLIMIT_CORE): Operation not permitted
134132

135133
[local-crates]

0 commit comments

Comments
 (0)