Skip to content

Actions: ucsd-progsys/liquid-fixpoint

Actions

hlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yml
303 workflow runs
303 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Support unicode syntax hlint #912: Pull request #852 opened by vishwaksen-1
27s vishwaksen-1:develop
vishwaksen-1:develop
27s
Support unicode syntax hlint #911: Pull request #851 opened by vishwaksen-1
25m 12s vishwaksen-1:develop
vishwaksen-1:develop
25m 12s
Merge pull request #850 from ucsd-progsys/fd/delete-cmpfun hlint #910: Commit 2a4c29f pushed by facundominguez
23s develop
develop
23s
Remove unused parameter cmpFun of Language.Fixpoint.Parse.bops hlint #909: Pull request #850 opened by facundominguez
24s fd/delete-cmpfun
fd/delete-cmpfun
24s
Merge pull request #848 from ucsd-progsys/fd/skip-id-coercions hlint #907: Commit a34ed38 pushed by facundominguez
22s develop
develop
22s
Avoid coercions between types with the same representation hlint #906: Pull request #848 synchronize by facundominguez
23s fd/skip-id-coercions
fd/skip-id-coercions
23s
Avoid coercions between types with the same representation hlint #905: Pull request #848 opened by facundominguez
24s fd/skip-id-coercions
fd/skip-id-coercions
24s
Merge tag 'v0.9.6.3.7' into HEAD hlint #904: Commit eb46bf5 pushed by facundominguez
25s develop
develop
25s
Merge pull request #847 from ucsd-progsys/fd/subst-rappier hlint #903: Commit a608de8 pushed by facundominguez
26s develop
develop
26s
Have all substitutions be capture-avoiding hlint #902: Pull request #847 synchronize by facundominguez
23s fd/subst-rappier
fd/subst-rappier
23s
Have all substitutions be capture-avoiding hlint #901: Pull request #847 synchronize by facundominguez
25s fd/subst-rappier
fd/subst-rappier
25s
Have all substitutions be capture-avoiding hlint #900: Pull request #847 opened by facundominguez
26s fd/subst-rappier
fd/subst-rappier
26s
Merge pull request #846 from ucsd-progsys/fd/generalize-hb hlint #899: Commit 6f214fd pushed by facundominguez
22s develop
develop
22s
Generalize Hashable and Binary instances for ReftBV hlint #898: Pull request #846 opened by facundominguez
22s fd/generalize-hb
fd/generalize-hb
22s
Merge pull request #845 from ucsd-progsys/fd/hashset-syms hlint #897: Commit ed58fb3 pushed by facundominguez
25s develop
develop
25s
Change the syms method so it returns a HashSet hlint #896: Pull request #845 synchronize by facundominguez
22s fd/hashset-syms
fd/hashset-syms
22s
Change the syms method so it returns a HashSet hlint #895: Pull request #845 synchronize by facundominguez
24s fd/hashset-syms
fd/hashset-syms
24s
Change the syms method so it returns a HashSet hlint #894: Pull request #845 opened by facundominguez
26s fd/hashset-syms
fd/hashset-syms
26s
Merge pull request #844 from ucsd-progsys/fd/help-in-pragma hlint #893: Commit 1ec0051 pushed by facundominguez
33s develop
develop
33s
Print help and version when requested in pragmas hlint #892: Pull request #844 opened by facundominguez
24s fd/help-in-pragma
fd/help-in-pragma
24s
Merge pull request #843 from ucsd-progsys/numeric-version hlint #891: Commit f9d194f pushed by ranjitjhala
29s develop
develop
29s
Add explicit numeric version flag hlint #890: Pull request #843 synchronize by ranjitjhala
33s numeric-version
numeric-version
33s
Add explicit numeric version flag hlint #889: Pull request #843 synchronize by ranjitjhala
23s numeric-version
numeric-version
23s
Add explicit numeric version flag hlint #888: Pull request #843 synchronize by ranjitjhala
24s numeric-version
numeric-version
24s
Add explicit numeric version flag hlint #886: Pull request #843 synchronize by ranjitjhala
33s numeric-version
numeric-version
33s