Skip to content

Actions: purefunctor/purescript-alexandrite

Actions

Cargo Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
checks.yml
889 workflow runs
889 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Synthesise function types when inspecting term signatures Cargo Build & Test #1368: Commit e10f4f6 pushed by purefunctor
2m 53s main
main
2m 53s
Fix visibility for kind variable binders Cargo Build & Test #1367: Commit 27d6355 pushed by purefunctor
2m 57s main
main
2m 57s
Instantiate type applications in record fields (#105) Cargo Build & Test #1366: Commit f97b268 pushed by purefunctor
3m 32s main
main
3m 32s
Instantiate type applications in record fields Cargo Build & Test #1365: Pull request #105 opened by purefunctor
2m 58s instantiate-type-applications
instantiate-type-applications
2m 58s
Instantiate type applications in record fields Cargo Build & Test #1364: Commit 3cf0368 pushed by purefunctor
3m 3s instantiate-type-applications
instantiate-type-applications
3m 3s
Implement highly parallel interner (#104) Cargo Build & Test #1363: Commit 9a3f67f pushed by purefunctor
3m 24s main
main
3m 24s
Implement highly parallel interner Cargo Build & Test #1362: Pull request #104 opened by purefunctor
3m 19s parallel
parallel
3m 19s
Implement initial highly parallel interner Cargo Build & Test #1361: Commit f3863ad pushed by purefunctor
3m 50s parallel
parallel
3m 50s
Implement initial highly parallel interner Cargo Build & Test #1360: Commit 5d307cf pushed by purefunctor
3m 52s parallel
parallel
3m 52s
Format files and apply clippy fixes Cargo Build & Test #1359: Commit 38c7ce9 pushed by purefunctor
2m 35s main
main
2m 35s
Rename test case to instance_chain_skolem Cargo Build & Test #1358: Commit 1f198ea pushed by purefunctor
2m 45s main
main
2m 45s
Make '-' an EXPRESSION_START token to fix usage in arrays Cargo Build & Test #1357: Commit a78c40b pushed by purefunctor
2m 53s main
main
2m 53s
Implement proper matching semantics for skolem variables Cargo Build & Test #1356: Commit 480be8a pushed by purefunctor
2m 45s main
main
2m 45s
Format files Cargo Build & Test #1355: Commit 5a3083e pushed by purefunctor
2m 41s main
main
2m 41s
Use separate types for instance checking and matching Cargo Build & Test #1354: Commit 6430a04 pushed by purefunctor
3m 3s main
main
3m 3s
Fix indexed do discard continuation result Cargo Build & Test #1353: Commit db6eca9 pushed by purefunctor
2m 52s main
main
2m 52s
Bump Swatinem/rust-cache from 2.8.2 to 2.9.1 (#103) Cargo Build & Test #1352: Commit 7022886 pushed by purefunctor
6m 4s main
main
6m 4s
Bump actions/upload-pages-artifact from 4 to 5 (#102) Cargo Build & Test #1351: Commit 5547589 pushed by purefunctor
3m 12s main
main
3m 12s
Bump Swatinem/rust-cache from 2.8.2 to 2.9.1 Cargo Build & Test #1350: Pull request #103 opened by dependabot Bot
5m 43s dependabot/github_actions/Swatinem/rust-cache-2.9.1
dependabot/github_actions/Swatinem/rust-cache-2.9.1
5m 43s
Bump Swatinem/rust-cache from 2.8.2 to 2.9.1 Cargo Build & Test #1349: Commit 864edc3 pushed by dependabot Bot
5m 58s dependabot/github_actions/Swatinem/rust-cache-2.9.1
dependabot/github_actions/Swatinem/rust-cache-2.9.1
5m 58s
Bump actions/upload-pages-artifact from 4 to 5 Cargo Build & Test #1348: Pull request #102 opened by dependabot Bot
3m 17s dependabot/github_actions/actions/upload-pages-artifact-5
dependabot/github_actions/actions/upload-pages-artifact-5
3m 17s
Bump actions/upload-pages-artifact from 4 to 5 Cargo Build & Test #1347: Commit 042cd69 pushed by dependabot Bot
2m 56s dependabot/github_actions/actions/upload-pages-artifact-5
dependabot/github_actions/actions/upload-pages-artifact-5
2m 56s
Rename base in docs to purescript-alexandrite Cargo Build & Test #1346: Commit abdbcbc pushed by purefunctor
2m 51s main
main
2m 51s
Extract helper for hover formatting Cargo Build & Test #1345: Commit 6f97a6d pushed by purefunctor
3m 27s v0.0.11
v0.0.11
3m 27s
Extract helper for hover formatting Cargo Build & Test #1344: Commit 6f97a6d pushed by purefunctor
2m 36s main
main
2m 36s