Skip to content

Actions: Stevendeo/alt-ergo

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
270 workflow runs
270 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Error using correct util and fix of documentation Build #26: Commit 99d4a8e pushed by Stevendeo
September 26, 2023 11:15 40m 38s get-info
get-info
September 26, 2023 11:15 40m 38s
Format -> fmt Build #25: Commit 7cb0ac5 pushed by Stevendeo
September 26, 2023 11:05 24m 51s get-info
get-info
September 26, 2023 11:05 24m 51s
Adding tests and updating handling of zero_extend 0 Build #24: Commit 46f5fef pushed by Stevendeo
September 26, 2023 10:05 22m 12s zero_extend
zero_extend
September 26, 2023 10:05 22m 12s
Adding tests and updating handling of zero_extend 0 Build #23: Commit 570af3f pushed by Stevendeo
September 26, 2023 09:45 28m 12s zero_extend
zero_extend
September 26, 2023 09:45 28m 12s
Add support for zero_extend Build #22: Commit e1df59f pushed by Stevendeo
September 26, 2023 09:28 36m 29s zero_extend
zero_extend
September 26, 2023 09:28 36m 29s
Closing dump model output channel Build #21: Commit 9677995 pushed by Stevendeo
September 26, 2023 09:10 28m 34s dump-models-output
dump-models-output
September 26, 2023 09:10 28m 34s
Poetry Build #20: Commit b42df84 pushed by Stevendeo
September 26, 2023 08:53 31m 31s dump-models-output
dump-models-output
September 26, 2023 08:53 31m 31s
Some more poetry Build #19: Commit 73537b8 pushed by Stevendeo
September 25, 2023 15:23 42m 35s get-info
get-info
September 25, 2023 15:23 42m 35s
Poetry Build #18: Commit 60ca26d pushed by Stevendeo
September 25, 2023 15:21 40m 15s get-info
get-info
September 25, 2023 15:21 40m 15s
Adding an option to dump models on a specific output channel Build #17: Commit c48a365 pushed by Stevendeo
September 25, 2023 15:08 31m 25s dump-models-output
dump-models-output
September 25, 2023 15:08 31m 25s
Poetry Build #16: Commit 489c5d7 pushed by Stevendeo
September 25, 2023 13:46 48m 25s get-info
get-info
September 25, 2023 13:46 48m 25s
Poetry Build #15: Commit 854dd1f pushed by Stevendeo
September 25, 2023 13:45 37m 0s get-info
get-info
September 25, 2023 13:45 37m 0s
Adding argument to unsupported_opt Build #14: Commit d58c276 pushed by Stevendeo
September 25, 2023 13:36 27m 10s get-info
get-info
September 25, 2023 13:36 27m 10s
Support of get-info SMT2 command Build #13: Commit f6ed2dc pushed by Stevendeo
September 25, 2023 13:05 46m 1s get-info
get-info
September 25, 2023 13:05 46m 1s
Support of get-info SMT2 command Build #12: Commit 5114022 pushed by Stevendeo
September 25, 2023 13:02 28m 45s get-info
get-info
September 25, 2023 13:02 28m 45s
Style fix Build #11: Commit e088ccd pushed by Stevendeo
September 6, 2023 13:39 24m 33s non-failing-api
non-failing-api
September 6, 2023 13:39 24m 33s
The frontend now exports all the SAT functions Build #10: Commit 90a0480 pushed by Stevendeo
September 6, 2023 13:31 21m 39s non-failing-api
non-failing-api
September 6, 2023 13:31 21m 39s
Call process_sat_res everywhere Build #9: Commit ff318de pushed by Stevendeo
September 6, 2023 11:00 24m 47s non-failing-api
non-failing-api
September 6, 2023 11:00 24m 47s
Remove bad comment Build #8: Commit 7e16334 pushed by Stevendeo
September 6, 2023 10:35 30m 3s non-failing-api
non-failing-api
September 6, 2023 10:35 30m 3s
Removing spurious 'raise Exit' in library Build #7: Commit b3bb728 pushed by Stevendeo
September 6, 2023 10:04 26m 23s non-failing-api
non-failing-api
September 6, 2023 10:04 26m 23s
ProTip! You can narrow down the results and go further in time using created:<2023-09-06 or the other filters available.