Skip to content

Actions: ucsd-progsys/liquid-fixpoint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
964 workflow runs
964 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #715 from shingarov/confusing-dedicated-monoid stan #400: Commit 03b5be0 pushed by facundominguez
October 24, 2024 14:33 10m 4s develop
develop
October 24, 2024 14:33 10m 4s
Merge pull request #715 from shingarov/confusing-dedicated-monoid stack #489: Commit 03b5be0 pushed by facundominguez
October 24, 2024 14:33 12m 30s develop
develop
October 24, 2024 14:33 12m 30s
Merge pull request #715 from shingarov/confusing-dedicated-monoid hlint #414: Commit 03b5be0 pushed by facundominguez
October 24, 2024 14:33 29s develop
develop
October 24, 2024 14:33 29s
Merge pull request #715 from shingarov/confusing-dedicated-monoid cabal #489: Commit 03b5be0 pushed by facundominguez
October 24, 2024 14:33 7m 48s develop
develop
October 24, 2024 14:33 7m 48s
Remove the preference for ∧ as the dedicated monoid on Preds hlint #413: Pull request #715 opened by shingarov
October 24, 2024 10:25 33s shingarov:confusing-dedicated-monoid
shingarov:confusing-dedicated-monoid
October 24, 2024 10:25 33s
Remove the preference for ∧ as the dedicated monoid on Preds stack #488: Pull request #715 opened by shingarov
October 24, 2024 10:25 12m 58s shingarov:confusing-dedicated-monoid
shingarov:confusing-dedicated-monoid
October 24, 2024 10:25 12m 58s
Remove the preference for ∧ as the dedicated monoid on Preds stan #399: Pull request #715 opened by shingarov
October 24, 2024 10:25 10m 2s shingarov:confusing-dedicated-monoid
shingarov:confusing-dedicated-monoid
October 24, 2024 10:25 10m 2s
Remove the preference for ∧ as the dedicated monoid on Preds cabal #488: Pull request #715 opened by shingarov
October 24, 2024 10:25 7m 45s shingarov:confusing-dedicated-monoid
shingarov:confusing-dedicated-monoid
October 24, 2024 10:25 7m 45s
Merge pull request #714 from ucsd-progsys/fd/tuple-update hlint #412: Commit 4d43925 pushed by facundominguez
October 24, 2024 00:30 27s develop
develop
October 24, 2024 00:30 27s
Merge pull request #714 from ucsd-progsys/fd/tuple-update cabal #487: Commit 4d43925 pushed by facundominguez
October 24, 2024 00:30 7m 39s develop
develop
October 24, 2024 00:30 7m 39s
Merge pull request #714 from ucsd-progsys/fd/tuple-update stack #487: Commit 4d43925 pushed by facundominguez
October 24, 2024 00:30 13m 19s develop
develop
October 24, 2024 00:30 13m 19s
Merge pull request #714 from ucsd-progsys/fd/tuple-update stan #398: Commit 4d43925 pushed by facundominguez
October 24, 2024 00:30 9m 51s develop
develop
October 24, 2024 00:30 9m 51s
Generalize hacks to work with ghc-9.10.1 tuples cabal #486: Pull request #714 opened by facundominguez
October 21, 2024 21:29 7m 22s fd/tuple-update
fd/tuple-update
October 21, 2024 21:29 7m 22s
Generalize hacks to work with ghc-9.10.1 tuples hlint #411: Pull request #714 opened by facundominguez
October 21, 2024 21:29 40s fd/tuple-update
fd/tuple-update
October 21, 2024 21:29 40s
Generalize hacks to work with ghc-9.10.1 tuples stack #486: Pull request #714 opened by facundominguez
October 21, 2024 21:29 12m 21s fd/tuple-update
fd/tuple-update
October 21, 2024 21:29 12m 21s
Generalize hacks to work with ghc-9.10.1 tuples stan #397: Pull request #714 opened by facundominguez
October 21, 2024 21:29 10m 2s fd/tuple-update
fd/tuple-update
October 21, 2024 21:29 10m 2s
Merge pull request #713 from ucsd-progsys/fd/remove-miscs stan #396: Commit 08ae7be pushed by facundominguez
October 18, 2024 21:25 9m 44s develop
develop
October 18, 2024 21:25 9m 44s
Merge pull request #713 from ucsd-progsys/fd/remove-miscs cabal #485: Commit 08ae7be pushed by facundominguez
October 18, 2024 21:25 7m 21s develop
develop
October 18, 2024 21:25 7m 21s
Merge pull request #713 from ucsd-progsys/fd/remove-miscs hlint #410: Commit 08ae7be pushed by facundominguez
October 18, 2024 21:25 28s develop
develop
October 18, 2024 21:25 28s
Merge pull request #713 from ucsd-progsys/fd/remove-miscs stack #485: Commit 08ae7be pushed by facundominguez
October 18, 2024 21:25 13m 24s develop
develop
October 18, 2024 21:25 13m 24s
Remove unused or redundant functions stack #484: Pull request #713 opened by facundominguez
October 18, 2024 20:34 12m 19s fd/remove-miscs
fd/remove-miscs
October 18, 2024 20:34 12m 19s
Remove unused or redundant functions stan #395: Pull request #713 opened by facundominguez
October 18, 2024 20:34 10m 9s fd/remove-miscs
fd/remove-miscs
October 18, 2024 20:34 10m 9s
Remove unused or redundant functions cabal #484: Pull request #713 opened by facundominguez
October 18, 2024 20:34 7m 35s fd/remove-miscs
fd/remove-miscs
October 18, 2024 20:34 7m 35s
Remove unused or redundant functions hlint #409: Pull request #713 opened by facundominguez
October 18, 2024 20:34 32s fd/remove-miscs
fd/remove-miscs
October 18, 2024 20:34 32s
Merge pull request #712 from gergoerdi/cactus/fileless cabal #483: Commit d69618e pushed by facundominguez
October 17, 2024 09:41 7m 44s develop
develop
October 17, 2024 09:41 7m 44s