Skip to content
Main build on push

Merge branch 'master' of https://github.com/oasis-tcs/lexidma #102

Sign in to view logs

Merge branch 'master' of https://github.com/oasis-tcs/lexidma

Merge branch 'master' of https://github.com/oasis-tcs/lexidma #102

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
53s
53s