Skip to content

Actions: stanford-centaur/smt-switch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
335 workflow runs
335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Even more debug prints CI #738: Commit 9e01c39 pushed by makaimann
February 18, 2025 23:08 13m 53s setuptools
setuptools
February 18, 2025 23:08 13m 53s
More debug prints CI #737: Commit 9e097dc pushed by makaimann
February 18, 2025 22:59 13m 40s setuptools
setuptools
February 18, 2025 22:59 13m 40s
More debug prints Build and Upload Wheels #9: Commit 9e097dc pushed by makaimann
February 18, 2025 22:59 4m 12s setuptools
setuptools
February 18, 2025 22:59 4m 12s
Temporarily reduce the number of solvers Build and Upload Wheels #8: Commit a76bb33 pushed by makaimann
February 18, 2025 22:51 4m 10s setuptools
setuptools
February 18, 2025 22:51 4m 10s
Temporarily reduce the number of solvers CI #736: Commit a76bb33 pushed by makaimann
February 18, 2025 22:51 14m 21s setuptools
setuptools
February 18, 2025 22:51 14m 21s
Add --skip-existing for testpypi upload too CI #735: Commit 79fd1b2 pushed by makaimann
February 18, 2025 18:45 28m 25s setuptools
setuptools
February 18, 2025 18:45 28m 25s
Add --skip-existing for testpypi upload too Build and Upload Wheels #7: Commit 79fd1b2 pushed by makaimann
February 18, 2025 18:45 25m 47s setuptools
setuptools
February 18, 2025 18:45 25m 47s
Add Python 3.13 CI #734: Commit 8c540ba pushed by makaimann
February 18, 2025 18:34 25m 47s setuptools
setuptools
February 18, 2025 18:34 25m 47s
Add Python 3.13 Build and Upload Wheels #6: Commit 8c540ba pushed by makaimann
February 18, 2025 18:34 23m 54s setuptools
setuptools
February 18, 2025 18:34 23m 54s
Remove auto-generated Python .so and .o files on Linux runner Build and Upload Wheels #5: Commit 9b61842 pushed by makaimann
February 18, 2025 18:25 14m 20s setuptools
setuptools
February 18, 2025 18:25 14m 20s
Remove auto-generated Python .so and .o files on Linux runner CI #733: Commit 9b61842 pushed by makaimann
February 18, 2025 18:25 16m 18s setuptools
setuptools
February 18, 2025 18:25 16m 18s
Temporarily change name for TestPyPi Build and Upload Wheels #4: Commit bda99ea pushed by makaimann
February 18, 2025 01:53 26m 22s setuptools
setuptools
February 18, 2025 01:53 26m 22s
Temporarily change name for TestPyPi CI #732: Commit bda99ea pushed by makaimann
February 18, 2025 01:53 14m 46s setuptools
setuptools
February 18, 2025 01:53 14m 46s
Fix filename CI #731: Commit d3a8bb0 pushed by makaimann
February 18, 2025 00:46 16m 37s setuptools
setuptools
February 18, 2025 00:46 16m 37s
Fix filename Build and Upload Wheels #3: Commit d3a8bb0 pushed by makaimann
February 18, 2025 00:46 17m 26s setuptools
setuptools
February 18, 2025 00:46 17m 26s
Build C++ libs in separate step Build and Upload Wheels #2: Commit e9389fc pushed by makaimann
February 18, 2025 00:23 56s setuptools
setuptools
February 18, 2025 00:23 56s
Build C++ libs in separate step CI #730: Commit e9389fc pushed by makaimann
February 18, 2025 00:23 15m 8s setuptools
setuptools
February 18, 2025 00:23 15m 8s
Add missing lines for running workflow on branch Build and Upload Wheels #1: Commit b326e67 pushed by makaimann
February 17, 2025 23:53 1m 0s setuptools
setuptools
February 17, 2025 23:53 1m 0s
Add missing lines for running workflow on branch CI #729: Commit b326e67 pushed by makaimann
February 17, 2025 23:53 14m 56s setuptools
setuptools
February 17, 2025 23:53 14m 56s
Try deploying from this branch CI #728: Commit 8adb7dc pushed by makaimann
February 17, 2025 23:46 13m 32s setuptools
setuptools
February 17, 2025 23:46 13m 32s
First pass on cibuildwheel infrastructure CI #727: Commit c71171d pushed by makaimann
February 17, 2025 23:11 13m 43s setuptools
setuptools
February 17, 2025 23:11 13m 43s
Fix directory copy CI #726: Commit f0966e8 pushed by makaimann
February 16, 2025 20:01 5h 25m 40s setuptools
setuptools
February 16, 2025 20:01 5h 25m 40s
Include pysmt_frontend CI #725: Commit 6f29b45 pushed by makaimann
February 16, 2025 19:54 3m 13s setuptools
setuptools
February 16, 2025 19:54 3m 13s
Revert "Debug with an ssh connection" CI #724: Commit 2157e15 pushed by makaimann
February 16, 2025 19:22 3m 36s setuptools
setuptools
February 16, 2025 19:22 3m 36s
Debug with an ssh connection CI #723: Commit e9d7f46 pushed by makaimann
February 16, 2025 19:15 6h 0m 12s setuptools
setuptools
February 16, 2025 19:15 6h 0m 12s