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 workflow definition #2 Run tests #144: Commit 8720322 pushed by TDacik
December 7, 2024 21:49 Failure dev
dev
December 7, 2024 21:49 Failure
Fix workflow definition Run tests #143: Commit 8d70f21 pushed by TDacik
December 7, 2024 21:48 Failure dev
dev
December 7, 2024 21:48 Failure
Rework workflows to reuse build Run tests #142: Commit 4047080 pushed by TDacik
December 7, 2024 21:47 Failure dev
dev
December 7, 2024 21:47 Failure
[Logic] Fix identifier generation again + add tests Run tests #141: Commit ecff1c4 pushed by TDacik
December 7, 2024 21:10 18s dev
dev
December 7, 2024 21:10 18s
[API] fix nil declaration error Run tests #140: Commit 10ceeca pushed by TDacik
December 7, 2024 12:31 23s dev
dev
December 7, 2024 12:31 23s
[Preprocessing] Run antiprenexing by default and before quantif. elim… Run tests #139: Commit f68697f pushed by TDacik
December 7, 2024 10:54 16s dev
dev
December 7, 2024 10:54 16s
Fix dependencies Run tests #138: Commit cf5fff1 pushed by TDacik
December 6, 2024 13:00 17m 31s dev
dev
December 6, 2024 13:00 17m 31s
Documentation fix deployment #2 Run tests #137: Commit 1385a3a pushed by TDacik
December 6, 2024 12:40 17m 30s dev
dev
December 6, 2024 12:40 17m 30s
Documentation fix deployment Run tests #136: Commit 3cde836 pushed by TDacik
December 6, 2024 12:39 1m 19s dev
dev
December 6, 2024 12:39 1m 19s
Documentation fix Run tests #135: Commit 76788b2 pushed by TDacik
December 6, 2024 12:38 2m 49s dev
dev
December 6, 2024 12:38 2m 49s
Documentation Run tests #134: Commit a232768 pushed by TDacik
December 6, 2024 12:35 1m 56s dev
dev
December 6, 2024 12:35 1m 56s
[Tests] fail on error in unit tests Run tests #133: Commit 53e4eca pushed by TDacik
December 6, 2024 10:37 17m 26s dev
dev
December 6, 2024 10:37 17m 26s
Ugly method to obtain pretty graphs of models Run tests #132: Commit fbeec26 pushed by TDacik
December 5, 2024 18:36 19m 47s dev
dev
December 5, 2024 18:36 19m 47s
Fix dolmen version Run tests #131: Commit 8368406 pushed by TDacik
December 5, 2024 17:06 23m 0s dev
dev
December 5, 2024 17:06 23m 0s
Clean main, first step to better separation of Astral binary and library Run tests #130: Commit 73a72ca pushed by TDacik
November 23, 2024 20:39 17m 21s dev
dev
November 23, 2024 20:39 17m 21s
Fix out-of-range bug in NLS translation Run tests #129: Commit 822abd8 pushed by TDacik
November 19, 2024 12:29 19m 15s main
main
November 19, 2024 12:29 19m 15s
Add missing substitution case for NLS Run tests #128: Commit c327204 pushed by TDacik
November 19, 2024 11:55 22m 29s main
main
November 19, 2024 11:55 22m 29s
Update publications in README Run tests #127: Commit 383b824 pushed by TDacik
November 8, 2024 21:20 22m 46s main
main
November 8, 2024 21:20 22m 46s
[SMTLIB backend] fix Run tests #126: Commit 0a11822 pushed by TDacik
October 25, 2024 17:07 18m 53s main
main
October 25, 2024 17:07 18m 53s
[Benchmarks] change expected status Run tests #125: Commit 5a810a2 pushed by TDacik
October 25, 2024 15:42 17m 52s main
main
October 25, 2024 15:42 17m 52s
[LocationBounds] Fix missing case Run tests #124: Commit 4fd6511 pushed by TDacik
October 21, 2024 19:27 16m 11s main
main
October 21, 2024 19:27 16m 11s
[NLS] fix bug in circular definition of predicate's footprint and rea… Run tests #123: Commit 585aa98 pushed by TDacik
October 10, 2024 16:26 19m 42s main
main
October 10, 2024 16:26 19m 42s
Add unit tests to github workflow Run tests #122: Commit 8e2067f pushed by TDacik
October 10, 2024 15:07 24s main
main
October 10, 2024 15:07 24s
Add benchmarks, rework test scripts Run tests #121: Commit 5a3665e pushed by TDacik
June 21, 2024 21:05 15m 19s main
main
June 21, 2024 21:05 15m 19s
fix CI pipeline build and test (#1) Run tests #120: Commit be2ab81 pushed by TDacik
June 20, 2024 08:22 18m 20s main
main
June 20, 2024 08:22 18m 20s