Skip to content

Actions: sdiehl/typechecker-zoo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
259 workflow runs
259 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cargo in / for logos - Update #1179306289 Dependabot Updates #70: by dependabot bot
33s main
main
33s
upgrade logos version CI #130: Commit e8ee496 pushed by sdiehl
2m 26s main
main
2m 26s
upgrade logos version Deploy Documentation #59: Commit e8ee496 pushed by sdiehl
34s main
main
34s
Update logos requirement from 0.15 to 0.16 CI #129: Pull request #32 opened by dependabot bot
44s dependabot/cargo/logos-0.16
dependabot/cargo/logos-0.16
44s
cargo in /. - Update #1177529024 Dependabot Updates #69: by dependabot bot
57s main
main
57s
more grounded CI #128: Commit 349422d pushed by sdiehl
2m 15s main
main
2m 15s
more grounded Deploy Documentation #58: Commit 349422d pushed by sdiehl
39s main
main
39s
cargo in /. - Update #1170179605 Dependabot Updates #68: by dependabot bot
51s main
main
51s
cargo in /. - Update #1170187252 Dependabot Updates #67: by dependabot bot
1m 5s main
main
1m 5s
cargo in / for cranelift-object - Update #1167806082 Dependabot Updates #66: by dependabot bot
39s main
main
39s
cargo in / for cranelift - Update #1167806086 Dependabot Updates #65: by dependabot bot
38s main
main
38s
cargo in / for cranelift-module - Update #1167806081 Dependabot Updates #64: by dependabot bot
34s main
main
34s
upgrade deps Deploy Documentation #57: Commit 50ebc53 pushed by sdiehl
39s main
main
39s
upgrade deps CI #127: Commit 50ebc53 pushed by sdiehl
2m 28s main
main
2m 28s
Merge pull request #28 from DylanMoss1/main Deploy Documentation #56: Commit 979ed19 pushed by sdiehl
2m 22s main
main
2m 22s
Merge pull request #28 from DylanMoss1/main CI #126: Commit 979ed19 pushed by sdiehl
3m 23s main
main
3m 23s
Update cranelift requirement from 0.125 to 0.126 CI #125: Pull request #31 opened by dependabot bot
2m 16s dependabot/cargo/cranelift-0.126
dependabot/cargo/cranelift-0.126
2m 16s
Update cranelift-object requirement from 0.125 to 0.126 CI #124: Pull request #30 opened by dependabot bot
2m 20s dependabot/cargo/cranelift-object-0.126
dependabot/cargo/cranelift-object-0.126
2m 20s
Update cranelift-module requirement from 0.125 to 0.126 CI #123: Pull request #29 opened by dependabot bot
2m 13s dependabot/cargo/cranelift-module-0.126
dependabot/cargo/cranelift-module-0.126
2m 13s
cargo in /. - Update #1163129545 Dependabot Updates #63: by dependabot bot
1m 15s main
main
1m 15s
System F Omega: Type Errors Are Broken CI #122: Pull request #28 synchronize by DylanMoss1
3m 19s DylanMoss1:main
DylanMoss1:main
3m 19s
cargo in /. - Update #1155085460 Dependabot Updates #62: by dependabot bot
1m 4s main
main
1m 4s
cargo in /. - Update #1148139964 Dependabot Updates #61: by dependabot bot
50s main
main
50s
cargo in / for ariadne - Update #1143562246 Dependabot Updates #60: by dependabot bot
35s main
main
35s
Merge pull request #27 from sdiehl/copilot/update-ariadne-requirement CI #120: Commit 8688633 pushed by sdiehl
3m 13s main
main
3m 13s