Skip to content

Actions: brownplt/LTLTutor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Pick a question family first, then a variant within it (#179) Build, Release Docker Image, and Deploy to Heroku #60: Commit 5f90a68 pushed by sidprasad
2m 57s v2.1.9
v2.1.9
2m 57s
Pick a question family first, then a variant within it Run Unit Tests #228: Pull request #179 synchronize by sidprasad
1m 40s question-family-selection
question-family-selection
1m 40s
Pick a question family first, then a variant within it E2E Tests (Playwright) #73: Pull request #179 synchronize by sidprasad
2m 41s question-family-selection
question-family-selection
2m 41s
Pick a question family first, then a variant within it Run Unit Tests #227: Pull request #179 opened by sidprasad
1m 47s question-family-selection
question-family-selection
1m 47s
Pick a question family first, then a variant within it E2E Tests (Playwright) #72: Pull request #179 opened by sidprasad
2m 23s question-family-selection
question-family-selection
2m 23s
TEAL feedback: step through a trace without redrawing the page; drop the stale trace-sat fallback Run Unit Tests #226: Pull request #178 synchronize by sidprasad
1m 46s drop-stale-tracesat-fallback-feedback
drop-stale-tracesat-fallback-feedback
1m 46s
TEAL feedback: step through a trace without redrawing the page; drop the stale trace-sat fallback E2E Tests (Playwright) #71: Pull request #178 synchronize by sidprasad
2m 45s drop-stale-tracesat-fallback-feedback
drop-stale-tracesat-fallback-feedback
2m 45s
TEAL feedback: step through a trace without redrawing the page; drop the stale trace-sat fallback E2E Tests (Playwright) #70: Pull request #178 opened by sidprasad
2m 26s drop-stale-tracesat-fallback-feedback
drop-stale-tracesat-fallback-feedback
2m 26s
TEAL feedback: step through a trace without redrawing the page; drop the stale trace-sat fallback Run Unit Tests #225: Pull request #178 opened by sidprasad
1m 39s drop-stale-tracesat-fallback-feedback
drop-stale-tracesat-fallback-feedback
1m 39s
Render the trace diagrams in misconception explainers (#177) Build, Release Docker Image, and Deploy to Heroku #59: Commit a3843d1 pushed by sidprasad
2m 55s v2.1.6
v2.1.6
2m 55s
Render the trace diagrams in misconception explainers E2E Tests (Playwright) #69: Pull request #177 opened by sidprasad
2m 32s fix/explainer-trace-diagrams
fix/explainer-trace-diagrams
2m 32s
Render the trace diagrams in misconception explainers Run Unit Tests #224: Pull request #177 opened by sidprasad
1m 42s fix/explainer-trace-diagrams
fix/explainer-trace-diagrams
1m 42s
Simplify randltl exercise formulas within the tutor grammar Run Unit Tests #223: Pull request #173 synchronize by sidprasad
1m 43s simplify-randltl-formulas
simplify-randltl-formulas
1m 43s
Simplify randltl exercise formulas within the tutor grammar E2E Tests (Playwright) #68: Pull request #173 synchronize by sidprasad
2m 19s simplify-randltl-formulas
simplify-randltl-formulas
2m 19s
Say what themed questions' letters mean; quiet the report-unclear con… Build, Release Docker Image, and Deploy to Heroku #58: Commit 75fe12f pushed by sidprasad
2m 54s v2.1.5
v2.1.5
2m 54s
Say what themed questions' letters mean; quiet the report-unclear control Run Unit Tests #222: Pull request #176 synchronize by sidprasad
1m 34s themed-question-key-and-report-affordance
themed-question-key-and-report-affordance
1m 34s
Say what themed questions' letters mean; quiet the report-unclear control E2E Tests (Playwright) #67: Pull request #176 synchronize by sidprasad
2m 28s themed-question-key-and-report-affordance
themed-question-key-and-report-affordance
2m 28s
Say what themed questions' letters mean; quiet the report-unclear control E2E Tests (Playwright) #66: Pull request #176 opened by sidprasad
2m 25s themed-question-key-and-report-affordance
themed-question-key-and-report-affordance
2m 25s
Say what themed questions' letters mean; quiet the report-unclear control Run Unit Tests #221: Pull request #176 opened by sidprasad
1m 47s themed-question-key-and-report-affordance
themed-question-key-and-report-affordance
1m 47s
Simplify randltl exercise formulas within the tutor grammar E2E Tests (Playwright) #65: Pull request #173 synchronize by sidprasad
2m 45s simplify-randltl-formulas
simplify-randltl-formulas
2m 45s
Simplify randltl exercise formulas within the tutor grammar Run Unit Tests #220: Pull request #173 synchronize by sidprasad
1m 35s simplify-randltl-formulas
simplify-randltl-formulas
1m 35s
Acknowledge 'sentence unclear' feedback instead of closing silently (… Build, Release Docker Image, and Deploy to Heroku #57: Commit f0b6873 pushed by sidprasad
3m 5s v2.1.3
v2.1.3
3m 5s
Acknowledge 'sentence unclear' feedback instead of closing silently Run Unit Tests #219: Pull request #175 opened by sidprasad
1m 39s acknowledge-unclear-feedback
acknowledge-unclear-feedback
1m 39s
Acknowledge 'sentence unclear' feedback instead of closing silently E2E Tests (Playwright) #64: Pull request #175 opened by sidprasad
2m 38s acknowledge-unclear-feedback
acknowledge-unclear-feedback
2m 38s
Simplify randltl exercise formulas within the tutor grammar E2E Tests (Playwright) #63: Pull request #173 synchronize by sidprasad
2m 33s simplify-randltl-formulas
simplify-randltl-formulas
2m 33s