Skip to content
TLA

Add a basic Github action that simulates the spec5~ for a few minutes. #4

Sign in to view logs

Add a basic Github action that simulates the spec5~ for a few minutes.

Add a basic Github action that simulates the spec5~ for a few minutes. #4

Run time

Learn about OS pricing on GitHub Actions
Job Run time
tlc-simulate
10m 6s
10m 6s