Skip to content

Actions: brownplt/LTLTutor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
120 workflow runs
120 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add aligned Next implication translation Run Unit Tests #112: Pull request #123 synchronize by sidprasad
1m 27s codex/clarify-temporal-anaphora-pattern-in-ltl
codex/clarify-temporal-anaphora-pattern-in-ltl
1m 27s
Add aligned Next implication translation Run Unit Tests #111: Pull request #123 opened by sidprasad
1m 30s codex/clarify-temporal-anaphora-pattern-in-ltl
codex/clarify-temporal-anaphora-pattern-in-ltl
1m 30s
V uptick, maybe this resolves some https issues Build, Release Docker Image, and Deploy to Heroku #38: Commit 223239f pushed by sidprasad
3m 0s v1.8.3
v1.8.3
3m 0s
HTTP redirects Build, Release Docker Image, and Deploy to Heroku #37: Commit fc6a4b8 pushed by sidprasad
1m 39s v1.8.2
v1.8.2
1m 39s
Bump requests to 2.32.4 Run Unit Tests #110: Pull request #122 synchronize by sidprasad
1m 39s codex/update-requests-package-to-2.32.4
codex/update-requests-package-to-2.32.4
1m 39s
Bump requests to 2.32.4 Run Unit Tests #109: Pull request #122 opened by sidprasad
1m 38s codex/update-requests-package-to-2.32.4
codex/update-requests-package-to-2.32.4
1m 38s
Add HTTPS enforcement and preserve post-login redirects Run Unit Tests #108: Pull request #121 synchronize by sidprasad
1m 33s codex/add-https-enforcement-to-flask-app
codex/add-https-enforcement-to-flask-app
1m 33s
Add HTTPS enforcement and preserve post-login redirects Run Unit Tests #107: Pull request #121 opened by sidprasad
1m 37s codex/add-https-enforcement-to-flask-app
codex/add-https-enforcement-to-flask-app
1m 37s
Fix Tor browser rendering issues for multiple choice and trace stepper Run Unit Tests #106: Pull request #120 synchronize by Copilot AI
Action required copilot/fix-tor-browser-rendering-issues
copilot/fix-tor-browser-rendering-issues
Action required
Fix Tor browser rendering issues for multiple choice and trace stepper Run Unit Tests #105: Pull request #120 synchronize by Copilot AI
Action required copilot/fix-tor-browser-rendering-issues
copilot/fix-tor-browser-rendering-issues
Action required
Running Copilot Copilot coding agent #17: by Copilot AI
10m 1s copilot/fix-tor-browser-rendering-issues
copilot/fix-tor-browser-rendering-issues
10m 1s
Fix Tor browser rendering issues for multiple choice and trace stepper Run Unit Tests #104: Pull request #120 opened by Copilot AI
Action required copilot/fix-tor-browser-rendering-issues
copilot/fix-tor-browser-rendering-issues
Action required
Better feedback Build, Release Docker Image, and Deploy to Heroku #36: Commit 70b83ea pushed by sidprasad
2m 54s v1.8.1
v1.8.1
2m 54s
Improved LTL to English translation Run Unit Tests #103: Pull request #119 opened by sidprasad
1m 32s eng-translation
eng-translation
1m 32s
v1.8 Build, Release Docker Image, and Deploy to Heroku #35: Commit f48383e pushed by sidprasad
2m 51s v1.8.0
v1.8.0
2m 51s
Improving response ability Run Unit Tests #102: Pull request #118 opened by sidprasad
1m 28s cannot-reselect
cannot-reselect
1m 28s
Add random selection across mutation locations for ImplicitG/Implicit… Build, Release Docker Image, and Deploy to Heroku #34: Commit 4c682e0 pushed by sidprasad
3m 22s v1.7.2
v1.7.2
3m 22s
Add random selection across mutation locations for ImplicitG/ImplicitF Run Unit Tests #101: Pull request #105 synchronize by sidprasad
1m 31s copilot/improve-conceptual-mutator
copilot/improve-conceptual-mutator
1m 31s
Weight shorter traces higher in randomized trace selection Run Unit Tests #100: Pull request #117 synchronize by Copilot AI
1m 28s copilot/improve-randomized-trace-length
copilot/improve-randomized-trace-length
1m 28s
Weight shorter traces higher in randomized trace selection Run Unit Tests #99: Pull request #117 synchronize by Copilot AI
1m 28s copilot/improve-randomized-trace-length
copilot/improve-randomized-trace-length
1m 28s
Running Copilot Copilot coding agent #16: by Copilot AI
14m 2s copilot/improve-randomized-trace-length
copilot/improve-randomized-trace-length
14m 2s
Enhance instructor dashboard with course insights Run Unit Tests #95: Pull request #115 synchronize by sidprasad
1m 28s codex/enhance-instructor-experience-features
codex/enhance-instructor-experience-features
1m 28s
Enhance instructor dashboard with course insights Run Unit Tests #94: Pull request #115 synchronize by sidprasad
1m 28s codex/enhance-instructor-experience-features
codex/enhance-instructor-experience-features
1m 28s
Enhance instructor dashboard with course insights Run Unit Tests #93: Pull request #115 opened by sidprasad
1m 33s codex/enhance-instructor-experience-features
codex/enhance-instructor-experience-features
1m 33s
Add changelog for post-Feb 2025 updates Run Unit Tests #92: Pull request #114 opened by sidprasad
1m 32s codex/compile-changelog-since-february-2025
codex/compile-changelog-since-february-2025
1m 32s