Skip to content

Actions: Stevendeo/alt-ergo

Actions

Linter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linter.yml
270 workflow runs
270 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix for another issue I need to test my PR Linter #419: Commit a0f518e pushed by Stevendeo
April 5, 2024 16:23 2m 57s get-rid-of-cmd
get-rid-of-cmd
April 5, 2024 16:23 2m 57s
Test Linter #418: Commit 9955e61 pushed by Stevendeo
April 5, 2024 15:48 1m 57s get-rid-of-cmd
get-rid-of-cmd
April 5, 2024 15:48 1m 57s
Removing unit_tenv_queue Linter #417: Commit a91b605 pushed by Stevendeo
April 5, 2024 15:36 1m 57s get-rid-of-cmd
get-rid-of-cmd
April 5, 2024 15:36 1m 57s
Rename function Linter #416: Commit 97353c0 pushed by Stevendeo
April 5, 2024 15:26 1m 46s get-rid-of-cmd
get-rid-of-cmd
April 5, 2024 15:26 1m 46s
Fix timeout issues Linter #415: Commit cf3b8a2 pushed by Stevendeo
April 5, 2024 15:17 1m 52s get-rid-of-cmd
get-rid-of-cmd
April 5, 2024 15:17 1m 52s
Test Linter #414: Commit 9570638 pushed by Stevendeo
April 5, 2024 14:56 2m 0s get-rid-of-cmd
get-rid-of-cmd
April 5, 2024 14:56 2m 0s
Fix timeout issues Linter #413: Commit cf3b8a2 pushed by Stevendeo
April 5, 2024 13:47 1m 59s get-rid-of-cmd
get-rid-of-cmd
April 5, 2024 13:47 1m 59s
Linter Linter #412: Commit baba255 pushed by Stevendeo
April 4, 2024 15:16 2m 5s get-rid-of-cmd
get-rid-of-cmd
April 4, 2024 15:16 2m 5s
Disactivating push & pop in queries in non incremental mode Linter #411: Commit f03b2e1 pushed by Stevendeo
April 4, 2024 15:09 1m 55s get-rid-of-cmd
get-rid-of-cmd
April 4, 2024 15:09 1m 55s
Poetry Linter #410: Commit cfbc8bc pushed by Stevendeo
March 28, 2024 10:07 1m 44s get-rid-of-cmd
get-rid-of-cmd
March 28, 2024 10:07 1m 44s
Fix for test tests/cc/testfile-ac_cc002.ae Linter #409: Commit e844f17 pushed by Stevendeo
March 25, 2024 14:06 1m 54s get-rid-of-cmd
get-rid-of-cmd
March 25, 2024 14:06 1m 54s
Indent Linter #408: Commit 4bbfc84 pushed by Stevendeo
March 25, 2024 12:19 2m 58s get-rid-of-cmd
get-rid-of-cmd
March 25, 2024 12:19 2m 58s
Style Linter #407: Commit c10ad82 pushed by Stevendeo
March 25, 2024 11:32 1m 46s get-rid-of-cmd
get-rid-of-cmd
March 25, 2024 11:32 1m 46s
Documentation and small fix Linter #406: Commit 0f0dd69 pushed by Stevendeo
March 25, 2024 11:30 1m 53s get-rid-of-cmd
get-rid-of-cmd
March 25, 2024 11:30 1m 53s
Reactivating abstract value printing and update tests Linter #405: Commit c985aed pushed by Stevendeo
March 25, 2024 11:06 2m 3s get-rid-of-cmd
get-rid-of-cmd
March 25, 2024 11:06 2m 3s
Update tests Linter #404: Commit e918fa0 pushed by Stevendeo
March 22, 2024 17:28 2m 0s get-rid-of-cmd
get-rid-of-cmd
March 22, 2024 17:28 2m 0s
Interleaving full imperative and partial imperative modes Linter #403: Commit 2fd8303 pushed by Stevendeo
March 22, 2024 17:07 1m 57s get-rid-of-cmd
get-rid-of-cmd
March 22, 2024 17:07 1m 57s
First version of full incremental solving loop Linter #402: Commit 2efa175 pushed by Stevendeo
March 21, 2024 14:37 2m 6s get-rid-of-cmd
get-rid-of-cmd
March 21, 2024 14:37 2m 6s
First version of full incremental solving loop Linter #401: Commit ee4fb10 pushed by Stevendeo
March 21, 2024 14:25 2m 35s get-rid-of-cmd
get-rid-of-cmd
March 21, 2024 14:25 2m 35s
First version of full incremental solving loop Linter #400: Commit b917b79 pushed by Stevendeo
March 21, 2024 13:10 5m 13s get-rid-of-cmd
get-rid-of-cmd
March 21, 2024 13:10 5m 13s
unit_tenv with ex Linter #399: Commit 93d2fbb pushed by Stevendeo
December 21, 2023 11:02 3m 8s get-rid-of-cmd
get-rid-of-cmd
December 21, 2023 11:02 3m 8s
unit_tenv with ex Linter #398: Commit 07acb39 pushed by bclement-ocp
December 15, 2023 16:41 3m 1s get-rid-of-cmd
get-rid-of-cmd
December 15, 2023 16:41 3m 1s
Removing useless exception catch Linter #397: Commit 3b57ab0 pushed by Stevendeo
December 15, 2023 15:48 3m 13s exhaustive-catch
exhaustive-catch
December 15, 2023 15:48 3m 13s
Removing exhaustive exception catch in satml_frontend Linter #396: Commit f55c1ac pushed by Stevendeo
December 15, 2023 15:46 3m 13s exhaustive-catch
exhaustive-catch
December 15, 2023 15:46 3m 13s
unit_tenv Linter #395: Commit d8d0d34 pushed by bclement-ocp
December 15, 2023 14:46 3m 8s get-rid-of-cmd
get-rid-of-cmd
December 15, 2023 14:46 3m 8s