Skip to content

Actions: cosynus-lix/sabbath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Exclude smt2 examples from linguist Regression tests #103: Commit 216c92e pushed by smover
July 19, 2023 13:53 3m 46s master
master
July 19, 2023 13:53 3m 46s
Add ack Regression tests #102: Commit 475a332 pushed by smover
July 19, 2023 12:42 4m 9s master
master
July 19, 2023 12:42 4m 9s
Add link for badge Regression tests #101: Commit 964ec72 pushed by smover
July 19, 2023 09:46 3m 50s master
master
July 19, 2023 09:46 3m 50s
Fix badge link Regression tests #100: Commit c32d23a pushed by smover
July 19, 2023 09:44 4m 14s master
master
July 19, 2023 09:44 4m 14s
Create LICENSE Regression tests #99: Commit 2c3ab67 pushed by smover
July 19, 2023 09:14 4m 14s master
master
July 19, 2023 09:14 4m 14s
Remove unused and unuseful code Regression tests #98: Commit 9960c6e pushed by smover
July 19, 2023 08:50 3m 54s master
master
July 19, 2023 08:50 3m 54s
Merge pull request #36 from smover/release_v0 Regression tests #97: Commit cf9cb4b pushed by smover
July 19, 2023 08:35 3m 58s master
master
July 19, 2023 08:35 3m 58s
Added dependencies in Installation Section of README.md. Typo. Regression tests #96: Pull request #36 synchronize by smover
July 19, 2023 08:22 5m 7s release_v0
release_v0
July 19, 2023 08:22 5m 7s
Added dependencies in Installation Section of README.md. Typo. Regression tests #95: Pull request #36 opened by smover
July 19, 2023 08:19 3m 39s release_v0
release_v0
July 19, 2023 08:19 3m 39s
Merge pull request #35 from smover/release_v0 Regression tests #94: Commit df3308a pushed by smover
July 17, 2023 13:09 3m 40s master
master
July 17, 2023 13:09 3m 40s
Release v0 Regression tests #93: Pull request #35 synchronize by smover
July 17, 2023 13:01 4m 3s release_v0
release_v0
July 17, 2023 13:01 4m 3s
Release v0 Regression tests #92: Pull request #35 opened by smover
July 17, 2023 12:55 3m 35s release_v0
release_v0
July 17, 2023 12:55 3m 35s
Merge pull request #34 from smover/new_backends Regression tests #91: Commit cb7692d pushed by smover
July 16, 2023 19:45 3m 41s master
master
July 16, 2023 19:45 3m 41s
New backends Regression tests #90: Pull request #34 synchronize by smover
July 16, 2023 19:36 3m 41s new_backends
new_backends
July 16, 2023 19:36 3m 41s
New backends Regression tests #89: Pull request #34 opened by smover
July 16, 2023 19:27 3m 39s new_backends
new_backends
July 16, 2023 19:27 3m 39s
Merge pull request #33 from smover/bounded_lzz Regression tests #88: Commit b70d4a1 pushed by smover
July 13, 2023 15:48 3m 59s master
master
July 13, 2023 15:48 3m 59s
Merge bounded_lzz into master Regression tests #87: Pull request #33 synchronize by smover
July 13, 2023 15:39 3m 32s bounded_lzz
bounded_lzz
July 13, 2023 15:39 3m 32s
Valu3s stability Regression tests #86: Pull request #30 synchronize by smover
July 13, 2023 15:01 3m 26s valu3s_stability
valu3s_stability
July 13, 2023 15:01 3m 26s
Valu3s stability Regression tests #85: Pull request #30 synchronize by smover
July 13, 2023 14:59 1s valu3s_stability
valu3s_stability
July 13, 2023 14:59 1s
Valu3s stability Regression tests #84: Pull request #30 synchronize by smover
July 13, 2023 14:45 3m 22s valu3s_stability
valu3s_stability
July 13, 2023 14:45 3m 22s
Valu3s stability Regression tests #83: Pull request #30 synchronize by Ludox73
July 12, 2023 17:19 4m 11s valu3s_stability
valu3s_stability
July 12, 2023 17:19 4m 11s
Valu3s stability Regression tests #82: Pull request #30 synchronize by Ludox73
July 12, 2023 17:08 5m 15s valu3s_stability
valu3s_stability
July 12, 2023 17:08 5m 15s
Valu3s stability Regression tests #81: Pull request #30 synchronize by Ludox73
July 12, 2023 17:02 5m 39s valu3s_stability
valu3s_stability
July 12, 2023 17:02 5m 39s
Valu3s stability Regression tests #80: Pull request #30 synchronize by Ludox73
July 12, 2023 16:54 3m 56s valu3s_stability
valu3s_stability
July 12, 2023 16:54 3m 56s
Valu3s stability Regression tests #79: Pull request #30 synchronize by Ludox73
July 12, 2023 16:44 4m 34s valu3s_stability
valu3s_stability
July 12, 2023 16:44 4m 34s