Skip to content

Actions: ddsmt/ddSMT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Rename main workflow to ci. ci #5: Commit 3efb334 pushed by mpreiner
April 22, 2024 20:38 1m 25s v2.0.5
v2.0.5
April 22, 2024 20:38 1m 25s
ci: Rename main workflow to ci. ci #4: Commit 3efb334 pushed by mpreiner
April 22, 2024 20:32 1m 33s master
master
April 22, 2024 20:32 1m 33s
ci: Rename main workflow to ci. ci #3: Commit 3efb334 pushed by mpreiner
April 22, 2024 20:31 53s test-readme
test-readme
April 22, 2024 20:31 53s
Fix. ci #2: Commit 0b8d81d pushed by mpreiner
April 22, 2024 20:27 42s test-readme
test-readme
April 22, 2024 20:27 42s
Rename. ci #1: Commit aca7696 pushed by mpreiner
April 22, 2024 20:26 46s test-readme
test-readme
April 22, 2024 20:26 46s
Fix. main #525: Commit 5e16607 pushed by mpreiner
April 22, 2024 20:25 47s test-readme
test-readme
April 22, 2024 20:25 47s
Fix. main #524: Commit f64cd7a pushed by mpreiner
April 22, 2024 20:23 48s test-readme
test-readme
April 22, 2024 20:23 48s
More. main #523: Commit 9f9cf1e pushed by mpreiner
April 22, 2024 20:22 47s test-readme
test-readme
April 22, 2024 20:22 47s
More. main #522: Commit 13bc2d0 pushed by mpreiner
April 22, 2024 20:21 45s test-readme
test-readme
April 22, 2024 20:21 45s
Test. main #521: Commit 8f340c1 pushed by mpreiner
April 22, 2024 20:20 44s test-readme
test-readme
April 22, 2024 20:20 44s
Test. main #520: Commit f5ede3e pushed by mpreiner
April 22, 2024 20:18 46s test-readme
test-readme
April 22, 2024 20:18 46s
Fix badge link in README. main #519: Commit c767f06 pushed by mpreiner
April 22, 2024 20:09 1m 55s master
master
April 22, 2024 20:09 1m 55s
Update setup metadata. main #518: Commit 32b6494 pushed by mpreiner
April 22, 2024 20:02 1m 31s v2.0.4
v2.0.4
April 22, 2024 20:02 1m 31s
Update setup metadata. main #517: Commit 32b6494 pushed by mpreiner
April 22, 2024 20:00 1m 34s master
master
April 22, 2024 20:00 1m 34s
readthedocs: Add build.os and build.tools config values. main #516: Commit f922cf2 pushed by mpreiner
April 22, 2024 19:54 1m 3s master
master
April 22, 2024 19:54 1m 3s
readthedocs: Add build.os and build.tools config values. main #515: Commit 7ba0637 pushed by mpreiner
April 22, 2024 19:53 1m 25s master
master
April 22, 2024 19:53 1m 25s
setup.cfg: Change license to MIT. main #514: Commit 13decc1 pushed by mpreiner
April 22, 2024 19:32 46s v2.0.4
v2.0.4
April 22, 2024 19:32 46s
setup.cfg: Change license to MIT. main #513: Commit 13decc1 pushed by mpreiner
April 22, 2024 19:30 1m 28s master
master
April 22, 2024 19:30 1m 28s
More formatting fixes. main #512: Commit bf45290 pushed by mpreiner
April 22, 2024 19:27 1m 32s master
master
April 22, 2024 19:27 1m 32s
More formatting fixes. main #511: Commit bf45290 pushed by mpreiner
April 22, 2024 19:25 47s fix-ci
fix-ci
April 22, 2024 19:25 47s
ci: Disable pypy tests. main #510: Commit bc69f84 pushed by mpreiner
April 22, 2024 19:23 48s fix-ci
fix-ci
April 22, 2024 19:23 48s
Remove pypy-3.6. main #509: Commit c6621c8 pushed by mpreiner
April 22, 2024 19:14 1m 23s fix-ci
fix-ci
April 22, 2024 19:14 1m 23s
Update python versions. main #508: Commit d922614 pushed by mpreiner
April 22, 2024 19:07 1m 35s fix-ci2
fix-ci2
April 22, 2024 19:07 1m 35s
Test. main #507: Commit 24478e4 pushed by mpreiner
April 22, 2024 18:57 1m 29s fix-ci
fix-ci
April 22, 2024 18:57 1m 29s
Test. main #506: Commit 400516b pushed by mpreiner
April 22, 2024 18:56 1m 34s fix-ci
fix-ci
April 22, 2024 18:56 1m 34s