Skip to content
Build & Test

Fix SubSeqTyping axiom for the empty case #225

Sign in to view logs

Fix SubSeqTyping axiom for the empty case

Fix SubSeqTyping axiom for the empty case #225

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build & Test (ubuntu-latest, 5.1.0)
5m 23s
Build & Test (macos-latest, 4.14.1)
5m 25s
Build & Test (ubuntu-latest, 4.14.1)
5m 23s
Build & Test (macos-latest, 5.1.0)
5m 25s
21m 36s