Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,333 workflow runs
1,333 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge changes for release 0.9.6.3.1 hlint #789: Pull request #2273 opened by facundominguez
March 7, 2024 12:08 30s fd/merge-release-0.9.6.3.1
fd/merge-release-0.9.6.3.1
March 7, 2024 12:08 30s
Merge changes for release 0.9.6.3.1 Documentation CI/CD #1264: Pull request #2273 opened by facundominguez
March 7, 2024 12:08 31s fd/merge-release-0.9.6.3.1
fd/merge-release-0.9.6.3.1
March 7, 2024 12:08 31s
pages build and deployment pages-build-deployment #197: by github-pages bot
February 5, 2024 15:37 28s gh-pages
gh-pages
February 5, 2024 15:37 28s
Merge pull request #2268 from ucsd-progsys/fd/test-files-lh-boot hlint #788: Commit 4b20537 pushed by facundominguez
February 5, 2024 15:36 35s develop
develop
February 5, 2024 15:36 35s
Merge pull request #2268 from ucsd-progsys/fd/test-files-lh-boot Documentation CI/CD #1263: Commit 4b20537 pushed by facundominguez
February 5, 2024 15:36 1m 6s develop
develop
February 5, 2024 15:36 1m 6s
Add test files of liquidhaskell-boot as extra-source-files hlint #787: Pull request #2268 opened by facundominguez
February 5, 2024 15:06 37s fd/test-files-lh-boot
fd/test-files-lh-boot
February 5, 2024 15:06 37s
Add test files of liquidhaskell-boot as extra-source-files Documentation CI/CD #1262: Pull request #2268 opened by facundominguez
February 5, 2024 15:06 45s fd/test-files-lh-boot
fd/test-files-lh-boot
February 5, 2024 15:06 45s
pages build and deployment pages-build-deployment #196: by github-pages bot
February 5, 2024 11:59 34s gh-pages
gh-pages
February 5, 2024 11:59 34s
Bump version of liquidhaskell and update the change log Documentation CI/CD #1261: Commit b7d0407 pushed by facundominguez
February 5, 2024 11:58 1m 13s develop
develop
February 5, 2024 11:58 1m 13s
Bump version of liquidhaskell and update the change log hlint #786: Commit b7d0407 pushed by facundominguez
February 5, 2024 11:58 33s develop
develop
February 5, 2024 11:58 33s
pages build and deployment pages-build-deployment #195: by github-pages bot
February 5, 2024 11:34 28s gh-pages
gh-pages
February 5, 2024 11:34 28s
Merge pull request #2267 from ucsd-progsys/fd/rm-liquid-platform hlint #785: Commit b5d1e99 pushed by facundominguez
February 5, 2024 11:33 36s develop
develop
February 5, 2024 11:33 36s
Merge pull request #2267 from ucsd-progsys/fd/rm-liquid-platform Documentation CI/CD #1260: Commit b5d1e99 pushed by facundominguez
February 5, 2024 11:33 1m 10s develop
develop
February 5, 2024 11:33 1m 10s
Remove liquid-patform Documentation CI/CD #1259: Pull request #2267 synchronize by facundominguez
February 4, 2024 01:09 40s fd/rm-liquid-platform
fd/rm-liquid-platform
February 4, 2024 01:09 40s
Remove liquid-patform hlint #784: Pull request #2267 synchronize by facundominguez
February 4, 2024 01:09 28s fd/rm-liquid-platform
fd/rm-liquid-platform
February 4, 2024 01:09 28s
Remove liquid-patform hlint #783: Pull request #2267 synchronize by facundominguez
February 4, 2024 00:53 28s fd/rm-liquid-platform
fd/rm-liquid-platform
February 4, 2024 00:53 28s
Remove liquid-patform Documentation CI/CD #1258: Pull request #2267 synchronize by facundominguez
February 4, 2024 00:53 41s fd/rm-liquid-platform
fd/rm-liquid-platform
February 4, 2024 00:53 41s
Remove liquid-patform hlint #782: Pull request #2267 synchronize by facundominguez
February 4, 2024 00:49 32s fd/rm-liquid-platform
fd/rm-liquid-platform
February 4, 2024 00:49 32s
Remove liquid-patform Documentation CI/CD #1257: Pull request #2267 synchronize by facundominguez
February 4, 2024 00:49 35s fd/rm-liquid-platform
fd/rm-liquid-platform
February 4, 2024 00:49 35s
Remove liquid-patform Documentation CI/CD #1256: Pull request #2267 synchronize by facundominguez
February 4, 2024 00:15 32s fd/rm-liquid-platform
fd/rm-liquid-platform
February 4, 2024 00:15 32s
Remove liquid-patform hlint #781: Pull request #2267 synchronize by facundominguez
February 4, 2024 00:15 33s fd/rm-liquid-platform
fd/rm-liquid-platform
February 4, 2024 00:15 33s
Remove liquid-patform Documentation CI/CD #1255: Pull request #2267 opened by facundominguez
February 3, 2024 23:59 29s fd/rm-liquid-platform
fd/rm-liquid-platform
February 3, 2024 23:59 29s
Remove liquid-patform hlint #780: Pull request #2267 opened by facundominguez
February 3, 2024 23:59 30s fd/rm-liquid-platform
fd/rm-liquid-platform
February 3, 2024 23:59 30s
pages build and deployment with artifacts-next pages-build-deployment #194: by github-pages bot
January 29, 2024 18:41 35s gh-pages
gh-pages
January 29, 2024 18:41 35s
Merge pull request #2248 from ucsd-progsys/fd/ghc-9.8.1 hlint #779: Commit 77895fa pushed by facundominguez
January 29, 2024 18:40 32s develop
develop
January 29, 2024 18:40 32s
ProTip! You can narrow down the results and go further in time using created:<2024-01-29 or the other filters available.