Skip to content

Actions: marcellussiegburg/call-alloy

Actions

HLint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yaml
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix ci (#16) HLint #54: Commit 750c4cf pushed by marcellussiegburg
April 24, 2024 16:59 19s master
master
April 24, 2024 16:59 19s
Fix ci HLint #53: Pull request #16 opened by marcellussiegburg
April 24, 2024 16:57 22s fix-ci
fix-ci
April 24, 2024 16:57 22s
amend parameter referencing on windows HLint #52: Commit 101a071 pushed by marcellussiegburg
April 24, 2024 16:33 19s fix-ci
fix-ci
April 24, 2024 16:33 19s
exclude minisat on macOS HLint #51: Commit e936d5e pushed by marcellussiegburg
April 24, 2024 16:13 16s fix-ci
fix-ci
April 24, 2024 16:13 16s
quote variable HLint #50: Commit 1658339 pushed by marcellussiegburg
April 24, 2024 16:00 21s fix-ci
fix-ci
April 24, 2024 16:00 21s
separate test-arguments HLint #49: Commit 8007666 pushed by marcellussiegburg
April 24, 2024 15:48 16s fix-ci
fix-ci
April 24, 2024 15:48 16s
another attempt on enforcing spaces HLint #48: Commit 7891cc0 pushed by marcellussiegburg
April 24, 2024 15:37 24s fix-ci
fix-ci
April 24, 2024 15:37 24s
handle spaces HLint #47: Commit c759382 pushed by marcellussiegburg
April 24, 2024 15:14 15s fix-ci
fix-ci
April 24, 2024 15:14 15s
fix spelling HLint #46: Commit 894e631 pushed by marcellussiegburg
April 24, 2024 15:02 18s fix-ci
fix-ci
April 24, 2024 15:02 18s
fix argument quotation HLint #45: Commit 41be602 pushed by marcellussiegburg
April 24, 2024 14:48 25s fix-ci
fix-ci
April 24, 2024 14:48 25s
skip various checkers on macOS HLint #44: Commit f7fee20 pushed by marcellussiegburg
April 24, 2024 14:29 21s fix-ci
fix-ci
April 24, 2024 14:29 21s
disable older ci builds HLint #43: Commit c327b9c pushed by marcellussiegburg
April 24, 2024 14:07 14s master
master
April 24, 2024 14:07 14s
fix cabal package HLint #42: Commit a0ec18e pushed by marcellussiegburg
April 24, 2024 12:19 23s master
master
April 24, 2024 12:19 23s
several minor fixes HLint #41: Commit 69a568b pushed by marcellussiegburg
April 23, 2024 14:34 23s master
master
April 23, 2024 14:34 23s
bump version HLint #40: Commit b640b41 pushed by marcellussiegburg
April 23, 2024 13:50 51s master
master
April 23, 2024 13:50 51s
bump version HLint #39: Commit c6f5b87 pushed by marcellussiegburg
January 19, 2024 18:41 39s master
master
January 19, 2024 18:41 39s
Fix ci (#15) HLint #38: Commit f79832d pushed by marcellussiegburg
January 19, 2024 18:31 37s master
master
January 19, 2024 18:31 37s
Fix ci HLint #37: Pull request #15 opened by marcellussiegburg
January 19, 2024 18:20 41s fix-ci
fix-ci
January 19, 2024 18:20 41s
split resolver and flag arguments HLint #36: Commit 888c206 pushed by marcellussiegburg
January 19, 2024 17:59 43s fix-ci
fix-ci
January 19, 2024 17:59 43s
exclude lts-16.31 on ubuntu-latest HLint #35: Commit d00ead1 pushed by marcellussiegburg
January 19, 2024 17:32 46s fix-ci
fix-ci
January 19, 2024 17:32 46s
move parameter HLint #34: Commit b48ba61 pushed by marcellussiegburg
January 19, 2024 17:21 37s fix-ci
fix-ci
January 19, 2024 17:21 37s
fix ci HLint #33: Commit 537f967 pushed by marcellussiegburg
January 19, 2024 17:17 40s fix-ci
fix-ci
January 19, 2024 17:17 40s
add flag for testing different SAT solvers (#14) HLint #32: Commit 86a1ad4 pushed by marcellussiegburg
January 19, 2024 17:13 47s master
master
January 19, 2024 17:13 47s
mention defaulting to SAT4J HLint #31: Commit 08dd70b pushed by marcellussiegburg
January 17, 2024 12:39 47s master
master
January 17, 2024 12:39 47s
Fix CI (#13) HLint #30: Commit 92b057f pushed by marcellussiegburg
January 17, 2024 10:51 40s master
master
January 17, 2024 10:51 40s