Skip to content

Actions: LKlinke/Prodigy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Collection of multiple smaller issues CI #146: Pull request #62 synchronize by dominikgeissler
5m 40s enh/54/christmas-collection
enh/54/christmas-collection
5m 40s
Collection of multiple smaller issues CI #145: Pull request #62 synchronize by dominikgeissler
6m 59s enh/54/christmas-collection
enh/54/christmas-collection
6m 59s
Collection of multiple smaller issues CI #144: Pull request #62 synchronize by dominikgeissler
7m 15s enh/54/christmas-collection
enh/54/christmas-collection
7m 15s
Collection of multiple smaller issues CI #143: Pull request #62 synchronize by dominikgeissler
6m 49s enh/54/christmas-collection
enh/54/christmas-collection
6m 49s
Collection of multiple smaller issues CI #142: Pull request #62 synchronize by dominikgeissler
5m 34s enh/54/christmas-collection
enh/54/christmas-collection
5m 34s
Collection of multiple smaller issues CI #141: Pull request #62 synchronize by dominikgeissler
5m 58s enh/54/christmas-collection
enh/54/christmas-collection
5m 58s
adjusted the README command CI #140: Commit 1946f3c pushed by LKlinke
4m 35s main
main
4m 35s
Automatically installs z3 solver with prodigy CI #139: Pull request #66 opened by dominikgeissler
3m 30s feature/58/z3
feature/58/z3
3m 30s
Collection of multiple smaller issues CI #138: Pull request #62 synchronize by dominikgeissler
6m 16s enh/54/christmas-collection
enh/54/christmas-collection
6m 16s
Collection of multiple smaller issues CI #137: Pull request #62 synchronize by dominikgeissler
1m 29s enh/54/christmas-collection
enh/54/christmas-collection
1m 29s
CI CI #136: Manually run by dominikgeissler
4m 42s main
main
4m 42s
Collection of multiple smaller issues CI #135: Pull request #62 synchronize by dominikgeissler
6m 51s enh/54/christmas-collection
enh/54/christmas-collection
6m 51s
Collection of multiple smaller issues CI #134: Pull request #62 synchronize by dominikgeissler
5m 37s enh/54/christmas-collection
enh/54/christmas-collection
5m 37s
Collection of multiple smaller issues CI #133: Pull request #62 synchronize by dominikgeissler
2m 13s enh/54/christmas-collection
enh/54/christmas-collection
2m 13s
Collection of multiple smaller issues CI #132: Pull request #62 opened by dominikgeissler
2m 14s enh/54/christmas-collection
enh/54/christmas-collection
2m 14s
added telephone_operator_parameter CI #131: Commit e7daa01 pushed by LKlinke
3m 28s main
main
3m 28s
Restructure of the pgfexamples CI #130: Pull request #52 synchronize by dominikgeissler
3m 44s 42/restructure-examples
42/restructure-examples
3m 44s
Restructure of the pgfexamples CI #129: Pull request #52 opened by dominikgeissler
3m 41s 42/restructure-examples
42/restructure-examples
3m 41s
changed from 1.0 to 1 CI #128: Commit bda6003 pushed by LKlinke
3m 44s main
main
3m 44s
changed from 1.0 to 1 CI #127: Pull request #51 opened by LKlinke
3m 25s fix/dueling_cowboys
fix/dueling_cowboys
3m 25s
Update cli.py CI #126: Commit 47e3cd4 pushed by LKlinke
3m 31s main
main
3m 31s
Update cli.py CI #125: Pull request #50 opened by LKlinke
3m 57s preciseness-fix
preciseness-fix
3m 57s
restructured _filter_constant_condition in sympy, removed FIXMEs CI #124: Commit 36a202c pushed by LKlinke
3m 38s main
main
3m 38s
restructured _filter_constant_condition in generating_function CI #123: Pull request #49 opened by dominikgeissler
3m 30s fix/restructure-sympy-method
fix/restructure-sympy-method
3m 30s
Merge pull request #46 from LKlinke/symengine CI #122: Commit 11c9fcc pushed by LKlinke
6m 37s main
main
6m 37s