Skip to content
CI

Merge pull request #6 from Hypersequent/allow-running-in-new-savepoint #19

Sign in to view logs

Merge pull request #6 from Hypersequent/allow-running-in-new-savepoint

Merge pull request #6 from Hypersequent/allow-running-in-new-savepoint #19

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test
23s
23s