Skip to content

Actions: speckdavid/symk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 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
Add option keep-irrelevant-components to translator for top-k planning. Code style tests #10: Commit 4f70cbf pushed by speckdavid
26s master
master
26s
Add option keep-irrelevant-components to translator for top-k planning. Apptainer #54: Commit 4f70cbf pushed by speckdavid
4m 48s master
master
4m 48s
Add option keep-irrelevant-components to translator for top-k planning. Linux build #104: Commit 4f70cbf pushed by speckdavid
8m 41s master
master
8m 41s
Add option keep-irrelevant-components to translator for top-k planning. MacOS build #103: Commit 4f70cbf pushed by speckdavid
6m 45s master
master
6m 45s
Fix symbolic ordering warning and minor cleanup. MacOS build #102: Commit e040ac4 pushed by speckdavid
6m 20s master
master
6m 20s
Fix symbolic ordering warning and minor cleanup. Apptainer #53: Commit e040ac4 pushed by speckdavid
4m 45s master
master
4m 45s
Fix symbolic ordering warning and minor cleanup. Linux build #103: Commit e040ac4 pushed by speckdavid
6m 36s master
master
6m 36s
Fix symbolic ordering warning and minor cleanup. Code style tests #9: Commit e040ac4 pushed by speckdavid
35s master
master
35s
Replace existential quantifiers in action conditions and goals with d… MacOS build #101: Commit 991768d pushed by speckdavid
4m 54s master
master
4m 54s
Replace existential quantifiers in action conditions and goals with d… Code style tests #8: Commit 991768d pushed by speckdavid
20s master
master
20s
Replace existential quantifiers in action conditions and goals with d… Apptainer #52: Commit 991768d pushed by speckdavid
4m 58s master
master
4m 58s
Replace existential quantifiers in action conditions and goals with d… Linux build #102: Commit 991768d pushed by speckdavid
7m 58s master
master
7m 58s
Fix translator to run only once. Minor work on condition normalization. Linux build #101: Commit 6fcd17a pushed by speckdavid
7m 41s master
master
7m 41s
Fix translator to run only once. Minor work on condition normalization. Apptainer #51: Commit 6fcd17a pushed by speckdavid
5m 12s master
master
5m 12s
Fix translator to run only once. Minor work on condition normalization. Code style tests #7: Commit 6fcd17a pushed by speckdavid
22s master
master
22s
Fix translator to run only once. Minor work on condition normalization. MacOS build #100: Commit 6fcd17a pushed by speckdavid
6m 26s master
master
6m 26s
Code style tests Code style tests #6: by speckdavid
47s master
master
47s
Linux build Linux build #100: by speckdavid
7m 34s master
master
7m 34s
MacOS build MacOS build #99: by speckdavid
5m 8s master
master
5m 8s
Apptainer Apptainer #50: by speckdavid
4m 43s master
master
4m 43s
Update Readme Apptainer #49: Commit e63056d pushed by speckdavid
5m 52s master
master
5m 52s
Update Readme MacOS build #98: Commit e63056d pushed by speckdavid
5m 40s master
master
5m 40s
Update Readme Linux build #99: Commit e63056d pushed by speckdavid
7m 22s master
master
7m 22s
Update Readme Code style tests #5: Commit e63056d pushed by speckdavid
26s master
master
26s
Clarify comments in the normalization step of the translator. MacOS build #97: Commit 5692ed5 pushed by speckdavid
5m 18s master
master
5m 18s