Skip to content

Actions: Halbaroth/alt-ergo

Actions

Linter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linter.yml
124 workflow run results
124 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

accumulate record accesses Linter #366: Commit 1fed4ce pushed by Halbaroth
September 4, 2023 14:16 13s fix-record-models
fix-record-models
September 4, 2023 14:16 13s
Merge pull request #784 from Halbaroth/fix-long-lines Linter #365: Commit 701d979 pushed by Halbaroth
September 4, 2023 14:14 3m 18s fix-record-models
fix-record-models
September 4, 2023 14:14 3m 18s
Fix lib_usage and worker_js Linter #364: Commit ee7827d pushed by Halbaroth
September 4, 2023 11:37 3m 20s backporting-2.5.0-bis
backporting-2.5.0-bis
September 4, 2023 11:37 3m 20s
Fix lib_usage and worker_js Linter #363: Commit cbd5e1b pushed by Halbaroth
September 4, 2023 11:28 3m 50s fix-777
fix-777
September 4, 2023 11:28 3m 50s
Use an adt to save the results of queries (bis) Linter #362: Commit b4501b4 pushed by Halbaroth
September 4, 2023 09:33 4m 24s fix-777
fix-777
September 4, 2023 09:33 4m 24s
Use an adt to save the results of queries (bis) Linter #361: Commit 4d381e8 pushed by Halbaroth
September 4, 2023 09:31 4m 5s next
next
September 4, 2023 09:31 4m 5s
Use an adt to save the results of queries Linter #360: Commit ad9d4f0 pushed by Halbaroth
September 4, 2023 09:25 4m 24s fix-777
fix-777
September 4, 2023 09:25 4m 24s
Poetry Linter #359: Commit c52ed0c pushed by Halbaroth
August 31, 2023 12:30 4m 9s cherry-pick-optimae
cherry-pick-optimae
August 31, 2023 12:30 4m 9s
Merge functions, arrays and constants modelmap Linter #358: Commit bf7eab4 pushed by Halbaroth
August 31, 2023 12:11 3m 54s cherry-pick-optimae
cherry-pick-optimae
August 31, 2023 12:11 3m 54s
Update the lock file Linter #357: Commit a27ed1d pushed by Halbaroth
August 30, 2023 15:52 4m 2s cherry-pick-optimae
cherry-pick-optimae
August 30, 2023 15:52 4m 2s
I create a new kind of values in Alt-Ergo, named model values, for co… Linter #356: Commit 8233963 pushed by Halbaroth
August 30, 2023 14:53 3m 23s cherry-pick-optimae
cherry-pick-optimae
August 30, 2023 14:53 3m 23s
Print always smtlib comments in the models Linter #355: Commit 77de5ad pushed by Halbaroth
August 29, 2023 12:03 3m 51s cherry-pick-optimae
cherry-pick-optimae
August 29, 2023 12:03 3m 51s
Fix indentation in the legacy lexer Linter #354: Commit 6d4ff71 pushed by Halbaroth
August 29, 2023 11:43 3m 37s cherry-pick-optimae
cherry-pick-optimae
August 29, 2023 11:43 3m 37s
Fix indentation in the legacy parser Linter #353: Commit 80a31cd pushed by Halbaroth
August 29, 2023 11:33 4m 19s cherry-pick-optimae
cherry-pick-optimae
August 29, 2023 11:33 4m 19s
Add timeout-as-unknown option Linter #352: Commit 80ace04 pushed by Halbaroth
August 29, 2023 08:42 3m 40s cherry-pick-optimae
cherry-pick-optimae
August 29, 2023 08:42 3m 40s
Check ground models with Dolmen Linter #351: Commit b66240a pushed by Halbaroth
August 24, 2023 08:27 4m 14s check-model-ci
check-model-ci
August 24, 2023 08:27 4m 14s
Promote tests Linter #350: Commit 1ae7c7c pushed by Halbaroth
August 24, 2023 08:18 3m 56s fix-777
fix-777
August 24, 2023 08:18 3m 56s
Return the right environment Linter #349: Commit 1e1bcb5 pushed by Halbaroth
August 24, 2023 08:06 4m 12s fix-777
fix-777
August 24, 2023 08:06 4m 12s
Fix too long lines Linter #348: Commit 718e936 pushed by Halbaroth
August 23, 2023 16:08 3m 30s backporting-2.5.0-bis
backporting-2.5.0-bis
August 23, 2023 16:08 3m 30s
Rename output cli Linter #347: Commit 68a7dd7 pushed by Halbaroth
August 23, 2023 16:06 4m 54s backporting-2.5.0-bis
backporting-2.5.0-bis
August 23, 2023 16:06 4m 54s
Ensure that definitions have the same ordering with dolmen Linter #346: Commit 754a149 pushed by Halbaroth
August 23, 2023 15:55 4m 10s backporting-2.5.0-bis
backporting-2.5.0-bis
August 23, 2023 15:55 4m 10s
Promote tests Linter #345: Commit 3479458 pushed by Halbaroth
August 23, 2023 15:36 4m 38s backporting-2.5.0-bis
backporting-2.5.0-bis
August 23, 2023 15:36 4m 38s
Rename output cli Linter #344: Commit 875434d pushed by Halbaroth
August 23, 2023 14:44 4m 44s backporting-rename-output-cli
backporting-rename-output-cli
August 23, 2023 14:44 4m 44s
Merge pull request #780 from Halbaroth/disable-preludes Linter #343: Commit e9affab pushed by Halbaroth
August 23, 2023 08:45 3m 41s next
next
August 23, 2023 08:45 3m 41s
do not print the answer in the library Linter #342: Commit 1452715 pushed by Halbaroth
August 23, 2023 08:45 3m 39s do-not-print-on-regular
do-not-print-on-regular
August 23, 2023 08:45 3m 39s