Skip to content

Actions: ruby/rbs

Actions

Type check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
typecheck.yml
1,942 workflow runs
1,942 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add in ::Ops interfaces Type check #17: Pull request #1638 opened by sampersand
November 22, 2023 21:12 1m 17s sampersand:swesterman/23-11-22/add-ops
sampersand:swesterman/23-11-22/add-ops
November 22, 2023 21:12 1m 17s
Merge pull request #1623 from ksss/diff-detail Type check #16: Commit 77328dd pushed by github-merge-queue bot
November 22, 2023 08:58 1m 19s master
master
November 22, 2023 08:58 1m 19s
Type check Type check #15: Merge group checks requested
November 22, 2023 08:55 1m 16s
November 22, 2023 08:55 1m 16s
Merge pull request #1635 from ruby/dependabot/bundler/steep/rbs-3.3.2 Type check #14: Commit c8327f1 pushed by github-merge-queue bot
November 22, 2023 08:50 1m 24s master
master
November 22, 2023 08:50 1m 24s
Add --detail option to rbs diff Type check #13: Pull request #1623 synchronize by soutaro
November 22, 2023 08:47 1m 12s ksss:diff-detail
ksss:diff-detail
November 22, 2023 08:47 1m 12s
Type check Type check #12: Merge group checks requested
November 22, 2023 08:46 1m 19s
November 22, 2023 08:46 1m 19s
Bump rbs from 3.3.1 to 3.3.2 in /steep Type check #11: Pull request #1635 opened by dependabot bot
November 22, 2023 06:42 1m 17s dependabot/bundler/steep/rbs-3.3.2
dependabot/bundler/steep/rbs-3.3.2
November 22, 2023 06:42 1m 17s
Merge pull request #1634 from ruby/update-syntax Type check #10: Commit f1dcf37 pushed by github-merge-queue bot
November 22, 2023 02:29 1m 24s master
master
November 22, 2023 02:29 1m 24s
Type check Type check #9: Merge group checks requested
November 22, 2023 02:25 1m 17s
November 22, 2023 02:25 1m 17s
Merge pull request #1633 from ruby/fix-workflow Type check #8: Commit 78fa36f pushed by github-merge-queue bot
November 22, 2023 02:22 1m 22s master
master
November 22, 2023 02:22 1m 22s
Update syntax.md Type check #7: Pull request #1634 opened by soutaro
November 22, 2023 02:21 1m 24s update-syntax
update-syntax
November 22, 2023 02:21 1m 24s
Type check Type check #6: Merge group checks requested
November 22, 2023 02:18 1m 14s
November 22, 2023 02:18 1m 14s
Fix workflow if: condition Type check #5: Pull request #1633 opened by soutaro
November 22, 2023 02:14 1m 17s fix-workflow
fix-workflow
November 22, 2023 02:14 1m 17s
Merge pull request #1632 from ruby/type-check-in-ci Type check #4: Commit 9fa5652 pushed by github-merge-queue bot
November 22, 2023 02:03 1m 19s master
master
November 22, 2023 02:03 1m 19s
Type check Type check #3: Merge group checks requested
November 22, 2023 01:59 1m 16s
November 22, 2023 01:59 1m 16s
Add steep typecheck workflow Type check #2: Pull request #1632 synchronize by soutaro
November 22, 2023 01:55 1m 18s type-check-in-ci
type-check-in-ci
November 22, 2023 01:55 1m 18s
Add steep typecheck workflow Type check #1: Pull request #1632 opened by soutaro
November 22, 2023 01:52 1m 17s type-check-in-ci
type-check-in-ci
November 22, 2023 01:52 1m 17s
ProTip! You can narrow down the results and go further in time using created:<2023-11-22 or the other filters available.