Skip to content

Actions: TDacik/Astral

Actions

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix workflows Run tests #169: Commit 6765300 pushed by TDacik
January 20, 2025 14:58 21s dev
dev
January 20, 2025 14:58 21s
Fix workflows Run tests #168: Commit 857a8cd pushed by TDacik
January 20, 2025 14:55 21s dev
dev
January 20, 2025 14:55 21s
Fix workflows Run tests #167: Commit 1daac00 pushed by TDacik
January 20, 2025 14:46 Failure dev
dev
January 20, 2025 14:46 Failure
Fix workflows Run tests #166: Commit 15fa9b6 pushed by TDacik
January 20, 2025 14:44 Failure dev
dev
January 20, 2025 14:44 Failure
Fix workflows Run tests #165: Commit 6c28157 pushed by TDacik
January 20, 2025 14:43 Failure dev
dev
January 20, 2025 14:43 Failure
Fix workflows Run tests #164: Commit 076d6d0 pushed by TDacik
January 20, 2025 14:41 Failure dev
dev
January 20, 2025 14:41 Failure
Fix workflows Run tests #163: Commit 1f05501 pushed by TDacik
January 20, 2025 14:36 Failure dev
dev
January 20, 2025 14:36 Failure
Fix workflows Run tests #162: Commit bf7f62f pushed by TDacik
January 20, 2025 14:35 Failure dev
dev
January 20, 2025 14:35 Failure
Add sexplib dependency Run tests #161: Commit 64dd02e pushed by TDacik
January 18, 2025 01:09 14m 39s dev
dev
January 18, 2025 01:09 14m 39s
[SMT-LIB backend] Fix names of binders Run tests #160: Commit 606d0c0 pushed by TDacik
January 18, 2025 00:30 14m 37s dev
dev
January 18, 2025 00:30 14m 37s
[Tests] Disable property tests Run tests #159: Commit 47eb759 pushed by TDacik
January 18, 2025 00:24 15m 58s dev
dev
January 18, 2025 00:24 15m 58s
[Builtin IDS] Fix corner cases when roots are nil Run tests #158: Commit 117495e pushed by TDacik
January 18, 2025 00:24 14m 28s dev
dev
January 18, 2025 00:24 14m 28s
Merge branch 'dev' of https://github.com/TDacik/Astral into dev Run tests #157: Commit 6dbffde pushed by TDacik
January 17, 2025 15:10 14m 24s dev
dev
January 17, 2025 15:10 14m 24s
[Backend] Fix problem for same name of field and variable Run tests #156: Commit 9bc0723 pushed by TDacik
January 17, 2025 10:53 14m 10s dev
dev
January 17, 2025 10:53 14m 10s
[Debug] Fix syntax error Run tests #155: Commit 5c46936 pushed by TDacik
January 16, 2025 23:02 15m 21s dev
dev
January 16, 2025 23:02 15m 21s
[Test] Add test for input dump Run tests #154: Commit a877ccd pushed by TDacik
January 16, 2025 18:01 14m 40s dev
dev
January 16, 2025 18:01 14m 40s
[Debug] Fix s-expression conversion of '=' Run tests #153: Commit 78e4e0c pushed by TDacik
January 16, 2025 17:22 14m 41s dev
dev
January 16, 2025 17:22 14m 41s
Fix conflict Run tests #152: Commit 8b2f5dc pushed by TDacik
January 13, 2025 13:33 18m 12s dev
dev
January 13, 2025 13:33 18m 12s
Fix dumping queries Run tests #151: Commit f5b986a pushed by TDacik
December 12, 2024 13:13 17m 8s dev
dev
December 12, 2024 13:13 17m 8s
Try to fix pipeline Run tests #150: Commit db65a06 pushed by TDacik
December 11, 2024 00:13 17m 15s dev
dev
December 11, 2024 00:13 17m 15s
Try to fix pipeline Run tests #149: Commit 9829cdd pushed by TDacik
December 10, 2024 21:42 18m 8s dev
dev
December 10, 2024 21:42 18m 8s
Fix NLS constructor Run tests #148: Commit b52fa47 pushed by TDacik
December 10, 2024 21:31 12m 35s dev
dev
December 10, 2024 21:31 12m 35s
[Logger] Fix dumping of queries in interactive mode Run tests #147: Commit ce3d78f pushed by TDacik
December 10, 2024 14:29 17m 42s dev
dev
December 10, 2024 14:29 17m 42s
Fix workflow definition #4 Run tests #146: Commit af3b872 pushed by TDacik
December 8, 2024 13:10 17m 2s dev
dev
December 8, 2024 13:10 17m 2s
Fix workflow definition #3 Run tests #145: Commit 1773755 pushed by TDacik
December 8, 2024 13:05 2m 6s dev
dev
December 8, 2024 13:05 2m 6s