Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
952 workflow runs
952 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #211: by github-pages bot
June 6, 2024 12:14 30s
June 6, 2024 12:14 30s
Merge pull request #2299 from ucsd-progsys/nikivazou-patch-1 Documentation CI/CD #1301: Commit 715d88d pushed by nikivazou
June 6, 2024 12:12 1m 22s develop
develop
June 6, 2024 12:12 1m 22s
Merge pull request #2299 from ucsd-progsys/nikivazou-patch-1 hlint #826: Commit 715d88d pushed by nikivazou
June 6, 2024 12:12 30s develop
develop
June 6, 2024 12:12 30s
Update ProofCombinators.hs Documentation CI/CD #1300: Pull request #2299 synchronize by nikivazou
June 6, 2024 11:07 35s nikivazou-patch-1
nikivazou-patch-1
June 6, 2024 11:07 35s
Update ProofCombinators.hs hlint #825: Pull request #2299 synchronize by nikivazou
June 6, 2024 11:07 29s nikivazou-patch-1
nikivazou-patch-1
June 6, 2024 11:07 29s
Update ProofCombinators.hs hlint #824: Pull request #2299 opened by nikivazou
June 6, 2024 10:18 28s nikivazou-patch-1
nikivazou-patch-1
June 6, 2024 10:18 28s
Update ProofCombinators.hs Documentation CI/CD #1299: Pull request #2299 opened by nikivazou
June 6, 2024 10:18 31s nikivazou-patch-1
nikivazou-patch-1
June 6, 2024 10:18 31s
pages build and deployment pages-build-deployment #210: by github-pages bot
June 4, 2024 09:40 25s
June 4, 2024 09:40 25s
Merge pull request #2297 from ucsd-progsys/coercion Documentation CI/CD #1298: Commit 2575ff5 pushed by nikivazou
June 4, 2024 09:39 1m 8s develop
develop
June 4, 2024 09:39 1m 8s
Merge pull request #2297 from ucsd-progsys/coercion hlint #823: Commit 2575ff5 pushed by nikivazou
June 4, 2024 09:39 31s develop
develop
June 4, 2024 09:39 31s
fix for coercion Documentation CI/CD #1297: Pull request #2297 synchronize by nikivazou
June 4, 2024 08:57 34s coercion
coercion
June 4, 2024 08:57 34s
fix for coercion hlint #822: Pull request #2297 synchronize by nikivazou
June 4, 2024 08:57 35s coercion
coercion
June 4, 2024 08:57 35s
fix for coercion Documentation CI/CD #1296: Pull request #2297 synchronize by nikivazou
June 3, 2024 14:37 33s coercion
coercion
June 3, 2024 14:37 33s
fix for coercion hlint #821: Pull request #2297 synchronize by nikivazou
June 3, 2024 14:37 32s coercion
coercion
June 3, 2024 14:37 32s
fix for coercion hlint #820: Pull request #2297 opened by nikivazou
June 3, 2024 14:35 31s coercion
coercion
June 3, 2024 14:35 31s
fix for coercion Documentation CI/CD #1295: Pull request #2297 opened by nikivazou
June 3, 2024 14:35 34s coercion
coercion
June 3, 2024 14:35 34s
pages build and deployment pages-build-deployment #209: by github-pages bot
June 3, 2024 13:43 35s
June 3, 2024 13:43 35s
Merge pull request #2296 from archbung/remove-redundant-imports Documentation CI/CD #1294: Commit 527e236 pushed by facundominguez
June 3, 2024 13:42 1m 7s develop
develop
June 3, 2024 13:42 1m 7s
Merge pull request #2296 from archbung/remove-redundant-imports hlint #819: Commit 527e236 pushed by facundominguez
June 3, 2024 13:42 30s develop
develop
June 3, 2024 13:42 30s
Remove some redundant imports Documentation CI/CD #1293: Pull request #2296 opened by archbung
June 3, 2024 00:23 47s archbung:remove-redundant-imports
archbung:remove-redundant-imports
June 3, 2024 00:23 47s
Remove some redundant imports hlint #818: Pull request #2296 opened by archbung
June 3, 2024 00:23 36s archbung:remove-redundant-imports
archbung:remove-redundant-imports
June 3, 2024 00:23 36s
pages build and deployment pages-build-deployment #208: by github-pages bot
May 28, 2024 20:17 27s
May 28, 2024 20:17 27s
Merge pull request #2295 from ucsd-progsys/fd/fix-warnings hlint #817: Commit ec3a96d pushed by facundominguez
May 28, 2024 20:16 35s develop
develop
May 28, 2024 20:16 35s
Merge pull request #2295 from ucsd-progsys/fd/fix-warnings Documentation CI/CD #1292: Commit ec3a96d pushed by facundominguez
May 28, 2024 20:16 1m 1s develop
develop
May 28, 2024 20:16 1m 1s
Fix some warnings and link tests-by-syntax in the documentation Documentation CI/CD #1291: Pull request #2295 opened by facundominguez
May 28, 2024 19:25 37s fd/fix-warnings
fd/fix-warnings
May 28, 2024 19:25 37s