Skip to content

Actions: ainnoot/ltlf2asp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create LICENSE Integration checks #98: Pull request #52 opened by ainnoot
July 11, 2024 17:14 3m 2s add-license
add-license
July 11, 2024 17:14 3m 2s
chore(ci): version bump Integration checks #97: Pull request #51 opened by ainnoot
June 24, 2024 13:24 45s reynolds_fix
reynolds_fix
June 24, 2024 13:24 45s
chore(tests): sat and unsat parametrized tests Integration checks #96: Pull request #50 opened by ainnoot
June 24, 2024 12:13 59s refactor-tests
refactor-tests
June 24, 2024 12:13 59s
tableaux Integration checks #95: Pull request #49 synchronize by ainnoot
June 24, 2024 07:41 52s tableaux
tableaux
June 24, 2024 07:41 52s
tableaux Integration checks #94: Pull request #49 synchronize by ainnoot
June 24, 2024 07:34 51s tableaux
tableaux
June 24, 2024 07:34 51s
tableaux Integration checks #93: Pull request #49 opened by ainnoot
June 24, 2024 07:08 53s tableaux
tableaux
June 24, 2024 07:08 53s
tableaux Integration checks #92: Pull request #48 opened by ainnoot
June 24, 2024 06:18 53s tableaux
tableaux
June 24, 2024 06:18 53s
feat(reynolds): ASP encoding for Reynolds tableaux + Nicola LTLf things Integration checks #91: Pull request #47 synchronize by ainnoot
June 23, 2024 16:10 49s tableaux
tableaux
June 23, 2024 16:10 49s
feat(reynolds): ASP encoding for Reynolds tableaux + Nicola LTLf things Integration checks #90: Pull request #47 synchronize by ainnoot
June 23, 2024 16:08 33s tableaux
tableaux
June 23, 2024 16:08 33s
feat(reynolds): ASP encoding for Reynolds tableaux + Nicola LTLf things Integration checks #89: Pull request #47 opened by ainnoot
June 23, 2024 16:05 27s tableaux
tableaux
June 23, 2024 16:05 27s
fix(chore): increase recursion depth... Integration checks #88: Pull request #46 opened by ainnoot
June 18, 2024 08:19 59s recursion-depth
recursion-depth
June 18, 2024 08:19 59s
fix(chore): changed predicate name in static alg Integration checks #87: Pull request #45 opened by ainnoot
June 18, 2024 07:55 48s change-pred-name
change-pred-name
June 18, 2024 07:55 48s
fix mypy typing Integration checks #86: Pull request #44 opened by ainnoot
June 17, 2024 10:30 1m 1s fix-mypy-typing
fix-mypy-typing
June 17, 2024 10:30 1m 1s
chore(types): mypy --strict now works Integration checks #85: Pull request #43 synchronize by ainnoot
May 14, 2024 17:49 1m 6s fix-mypy-typing
fix-mypy-typing
May 14, 2024 17:49 1m 6s
chore(types): mypy --strict now works Integration checks #84: Pull request #43 synchronize by ainnoot
May 14, 2024 17:47 24s fix-mypy-typing
fix-mypy-typing
May 14, 2024 17:47 24s
chore(types): mypy --strict now works Integration checks #83: Pull request #43 synchronize by ainnoot
May 14, 2024 17:46 24s fix-mypy-typing
fix-mypy-typing
May 14, 2024 17:46 24s
chore(types): mypy --strict now works Integration checks #82: Pull request #43 synchronize by ainnoot
May 14, 2024 17:44 28s fix-mypy-typing
fix-mypy-typing
May 14, 2024 17:44 28s
chore(types): mypy --strict now works Integration checks #81: Pull request #43 opened by ainnoot
May 14, 2024 17:41 30s fix-mypy-typing
fix-mypy-typing
May 14, 2024 17:41 30s
bump: This is a read-only branch for release v0.2.0. Integration checks #80: Commit d9d3e3c pushed by ainnoot
May 14, 2024 16:38 59s release-v0.2.0
release-v0.2.0
May 14, 2024 16:38 59s
update owrkflow Integration checks #79: Pull request #42 opened by ainnoot
May 14, 2024 16:36 53s update-owrkflow
update-owrkflow
May 14, 2024 16:36 53s
featx Integration checks #78: Pull request #41 opened by ainnoot
May 14, 2024 16:23 55s featx
featx
May 14, 2024 16:23 55s
ci: check if I can print the commit message Integration checks #77: Pull request #40 opened by ainnoot
May 14, 2024 16:20 1m 17s release-v0.1.0
release-v0.1.0
May 14, 2024 16:20 1m 17s
Merge pull request #39 from ainnoot/bump-version Integration checks #76: Commit 0cd5851 pushed by ainnoot
May 14, 2024 16:12 46s v0.1.0
v0.1.0
May 14, 2024 16:12 46s
bump(minor): minor release Integration checks #75: Pull request #39 opened by ainnoot
May 14, 2024 16:10 57s bump-version
bump-version
May 14, 2024 16:10 57s
test failure pipeline Integration checks #74: Pull request #38 synchronize by ainnoot
May 14, 2024 15:53 1m 11s test-failure-pipeline
test-failure-pipeline
May 14, 2024 15:53 1m 11s