Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
937 workflow runs
937 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #199: by github-pages bot
April 9, 2024 22:43 28s
April 9, 2024 22:43 28s
Merge pull request #2280 from ucsd-progsys/fd/liquid-dev-mode hlint #792: Commit 10d7ac4 pushed by ranjitjhala
April 9, 2024 22:42 34s develop
develop
April 9, 2024 22:42 34s
Merge pull request #2280 from ucsd-progsys/fd/liquid-dev-mode Documentation CI/CD #1267: Commit 10d7ac4 pushed by ranjitjhala
April 9, 2024 22:42 1m 4s develop
develop
April 9, 2024 22:42 1m 4s
Deemphasize LIQUID_DEV_MODE in the README Documentation CI/CD #1266: Pull request #2280 opened by facundominguez
April 9, 2024 21:09 31s fd/liquid-dev-mode
fd/liquid-dev-mode
April 9, 2024 21:09 31s
Deemphasize LIQUID_DEV_MODE in the README hlint #791: Pull request #2280 opened by facundominguez
April 9, 2024 21:09 36s fd/liquid-dev-mode
fd/liquid-dev-mode
April 9, 2024 21:09 36s
pages build and deployment pages-build-deployment #198: by github-pages bot
March 7, 2024 12:51 31s
March 7, 2024 12:51 31s
Merge pull request #2273 from ucsd-progsys/fd/merge-release-0.9.6.3.1 Documentation CI/CD #1265: Commit 2992712 pushed by facundominguez
March 7, 2024 12:49 1m 15s develop
develop
March 7, 2024 12:49 1m 15s
Merge pull request #2273 from ucsd-progsys/fd/merge-release-0.9.6.3.1 hlint #790: Commit 2992712 pushed by facundominguez
March 7, 2024 12:49 30s develop
develop
March 7, 2024 12:49 30s
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
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
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
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