Skip to content
Ubuntu build

[ refactor ] Remove use of rewrite from Data.List.Membership.Propositional.Properties.Core #3979

Sign in to view logs

[ refactor ] Remove use of rewrite from Data.List.Membership.Propositional.Properties.Core

[ refactor ] Remove use of rewrite from Data.List.Membership.Propositional.Properties.Core #3979

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-stdlib
53m 52s
53m 52s