theorems are processing indefinitely

[tillmo]

https://ontohub.org/esslli-clone/FOL/OrderTheory_structured//RichBooleanAlgebra//trans///proof_attempts

[eugenk]

Looking at the failed jobs in Sidekiq, this is the same error as #1753, only for proof attempts.

[tillmo]

so the fix could be analoguous?

[eugenk]

Unfortunately not. We don't use callbacks that start a job asynchronously as with ActiveRecord models. Here, we invoke it by hand after the transaction has completed and it still is a problem:

ontohub/app/fake_records/proof.rb

Lines 63 to 70 in e6c4495

	ActiveRecord::Base.transaction do
	specific_axiom_selection.save!
	proof_attempts.each do |proof_attempt|
	proof_attempt.save!
	proof_attempt.proof_attempt_configuration.save!
	end
	end
	prove