Skip to content

Actions: strictify/lazy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1 from strictify/dev Static analysis #10: Commit 711a569 pushed by zmitic
March 30, 2024 15:06 23s master
master
March 30, 2024 15:06 23s
More strictness to lazy types Static analysis #9: Pull request #1 opened by zmitic
March 30, 2024 15:06 24s dev
dev
March 30, 2024 15:06 24s
More strictness to lazy types Static analysis #8: Commit 97d1b6d pushed by zmitic
March 30, 2024 15:05 22s dev
dev
March 30, 2024 15:05 22s