Skip to content

Actions: mitki-lang/mitki

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
327 workflow runs
327 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Weekly cargo update Weekly cargo update #68: Scheduled
39s master
master
39s
Weekly cargo update Weekly cargo update #67: Scheduled
33s master
master
33s
Weekly cargo update Weekly cargo update #66: Scheduled
41s master
master
41s
add ignored TODO diagnostics cases (#82) Rust #357: Commit 39757a2 pushed by github-merge-queue bot
1m 42s master
master
1m 42s
Rust Rust #356: Merge group checks requested
1m 0s
1m 0s
add ignored TODO diagnostics cases Rust #355: Pull request #82 opened by gvozdvmozgu
1m 29s typeck
typeck
1m 29s
generate typed HIR API with proc-macro schema (#81) Rust #354: Commit caade21 pushed by github-merge-queue bot
2m 26s master
master
2m 26s
Rust Rust #353: Merge group checks requested
1m 28s
1m 28s
generate typed HIR API with proc-macro schema Rust #352: Pull request #81 opened by gvozdvmozgu
2m 22s proc-macro-typed-api
proc-macro-typed-api
2m 22s
refactor crate boundaries (#80) Rust #351: Commit 29defa7 pushed by github-merge-queue bot
1m 25s master
master
1m 25s
Rust Rust #350: Merge group checks requested
49s
49s
refactor crate boundaries Rust #349: Pull request #80 synchronize by gvozdvmozgu
1m 18s split-crates
split-crates
1m 18s
refactor crate boundaries Rust #348: Pull request #80 opened by gvozdvmozgu
1m 18s split-crates
split-crates
1m 18s
Weekly cargo update (#75) Rust #347: Commit 873597c pushed by github-merge-queue bot
2m 1s master
master
2m 1s
Rust Rust #346: Merge group checks requested
1m 46s
1m 46s
Weekly cargo update Rust #345: Pull request #75 synchronize by gvozdvmozgu
1m 53s cargo_update
cargo_update
1m 53s
Weekly cargo update Weekly cargo update #65: Scheduled
36s master
master
36s
Weekly cargo update Weekly cargo update #64: Scheduled
34s master
master
34s
Weekly cargo update Weekly cargo update #63: Scheduled
39s master
master
39s
Weekly cargo update Weekly cargo update #62: Scheduled
35s master
master
35s
derive parser snapshots from events only (#79) Rust #344: Commit 5c4f852 pushed by github-merge-queue bot
1m 48s master
master
1m 48s
Rust Rust #343: Merge group checks requested
1m 14s
1m 14s
derive parser snapshots from events only Rust #342: Pull request #79 opened by gvozdvmozgu
1m 41s remove-parse-tree-tests
remove-parse-tree-tests
1m 41s
Weekly cargo update Weekly cargo update #61: Scheduled
36s master
master
36s
Delete the old code (#78) Rust #341: Commit 4f03a2f pushed by github-merge-queue bot
58s master
master
58s