Skip to content

Actions: lsrcz/grisette

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,162 workflow runs
2,162 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Standardize the constraints for Mergeable1 and SimpleMergeable1 classes HLint #561: Pull request #160 opened by lsrcz
January 9, 2024 00:53 36s relax-class1-constraints
relax-class1-constraints
January 9, 2024 00:53 36s
Standardize the constraints for Mergeable1 and SimpleMergeable1 classes Auto format by ormolu #561: Pull request #160 opened by lsrcz
January 9, 2024 00:53 22s relax-class1-constraints
relax-class1-constraints
January 9, 2024 00:53 22s
📝 Update CHANGELOG.md HLint #560: Commit 3861a79 pushed by lsrcz
January 9, 2024 00:32 8m 30s main
main
January 9, 2024 00:32 8m 30s
📝 Update CHANGELOG.md Auto format by ormolu #560: Commit 3861a79 pushed by lsrcz
January 9, 2024 00:32 7m 22s main
main
January 9, 2024 00:32 7m 22s
📝 Update CHANGELOG.md Haskell Tests #560: Commit 3861a79 pushed by lsrcz
January 9, 2024 00:32 42m 3s main
main
January 9, 2024 00:32 42m 3s
A generic CEGIS procedure Haskell Tests #559: Pull request #159 synchronize by lsrcz
January 9, 2024 00:32 27m 47s feat-general-cegis
feat-general-cegis
January 9, 2024 00:32 27m 47s
A generic CEGIS procedure HLint #559: Pull request #159 synchronize by lsrcz
January 9, 2024 00:32 37s feat-general-cegis
feat-general-cegis
January 9, 2024 00:32 37s
A generic CEGIS procedure Auto format by ormolu #559: Pull request #159 synchronize by lsrcz
January 9, 2024 00:32 31s feat-general-cegis
feat-general-cegis
January 9, 2024 00:32 31s
A generic CEGIS procedure Haskell Tests #558: Pull request #159 synchronize by lsrcz
January 9, 2024 00:22 19m 5s feat-general-cegis
feat-general-cegis
January 9, 2024 00:22 19m 5s
A generic CEGIS procedure Auto format by ormolu #558: Pull request #159 synchronize by lsrcz
January 9, 2024 00:22 26s feat-general-cegis
feat-general-cegis
January 9, 2024 00:22 26s
A generic CEGIS procedure HLint #558: Pull request #159 synchronize by lsrcz
January 9, 2024 00:22 37s feat-general-cegis
feat-general-cegis
January 9, 2024 00:22 37s
A generic CEGIS procedure Haskell Tests #557: Pull request #159 synchronize by lsrcz
January 8, 2024 20:47 22m 7s feat-general-cegis
feat-general-cegis
January 8, 2024 20:47 22m 7s
A generic CEGIS procedure Auto format by ormolu #557: Pull request #159 synchronize by lsrcz
January 8, 2024 20:47 29s feat-general-cegis
feat-general-cegis
January 8, 2024 20:47 29s
A generic CEGIS procedure HLint #557: Pull request #159 synchronize by lsrcz
January 8, 2024 20:47 41s feat-general-cegis
feat-general-cegis
January 8, 2024 20:47 41s
A generic CEGIS procedure Haskell Tests #556: Pull request #159 synchronize by lsrcz
January 8, 2024 20:28 1m 57s feat-general-cegis
feat-general-cegis
January 8, 2024 20:28 1m 57s
A generic CEGIS procedure HLint #556: Pull request #159 synchronize by lsrcz
January 8, 2024 20:28 37s feat-general-cegis
feat-general-cegis
January 8, 2024 20:28 37s
A generic CEGIS procedure Auto format by ormolu #556: Pull request #159 synchronize by lsrcz
January 8, 2024 20:28 24s feat-general-cegis
feat-general-cegis
January 8, 2024 20:28 24s
A generic CEGIS procedure Haskell Tests #555: Pull request #159 opened by lsrcz
January 8, 2024 13:20 2m 30s feat-general-cegis
feat-general-cegis
January 8, 2024 13:20 2m 30s
A generic CEGIS procedure HLint #555: Pull request #159 opened by lsrcz
January 8, 2024 13:20 38s feat-general-cegis
feat-general-cegis
January 8, 2024 13:20 38s
A generic CEGIS procedure Auto format by ormolu #555: Pull request #159 opened by lsrcz
January 8, 2024 13:20 23s feat-general-cegis
feat-general-cegis
January 8, 2024 13:20 23s
📝 Update CHANGELOG.md Haskell Tests #554: Commit 389f08c pushed by lsrcz
January 6, 2024 19:28 13m 44s main
main
January 6, 2024 19:28 13m 44s
📝 Update CHANGELOG.md HLint #554: Commit 389f08c pushed by lsrcz
January 6, 2024 19:28 41s main
main
January 6, 2024 19:28 41s
📝 Update CHANGELOG.md Auto format by ormolu #554: Commit 389f08c pushed by lsrcz
January 6, 2024 19:28 22s main
main
January 6, 2024 19:28 22s
Rename symbolic operators HLint #553: Pull request #158 synchronize by lsrcz
January 6, 2024 18:57 36s rename-symbolic-operators
rename-symbolic-operators
January 6, 2024 18:57 36s
Rename symbolic operators Auto format by ormolu #553: Pull request #158 synchronize by lsrcz
January 6, 2024 18:57 23s rename-symbolic-operators
rename-symbolic-operators
January 6, 2024 18:57 23s
ProTip! You can narrow down the results and go further in time using created:<2024-01-06 or the other filters available.