Skip to content

Actions: purefunctor/purescript-analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
402 workflow run results
402 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename ImportedItems to ImportItems Cargo Build & Test #480: Commit c805409 pushed by purefunctor
March 23, 2025 19:45 22s main
main
March 23, 2025 19:45 22s
Remove unnecessary use for lower_equation_like Cargo Build & Test #479: Commit afcab1e pushed by purefunctor
March 23, 2025 07:26 45s main
main
March 23, 2025 07:26 45s
Remove unnecessary use for lower_equation_like Deploy to GitHub Pages #74: Commit afcab1e pushed by purefunctor
March 23, 2025 07:26 1m 13s main
main
March 23, 2025 07:26 1m 13s
Small refactor for legibility Cargo Build & Test #478: Commit 3622361 pushed by purefunctor
March 9, 2025 07:53 46s main
main
March 9, 2025 07:53 46s
Small refactor for legibility Deploy to GitHub Pages #73: Commit 3622361 pushed by purefunctor
March 9, 2025 07:53 1m 6s main
main
March 9, 2025 07:53 1m 6s
Mark whether imports are exported or not Deploy to GitHub Pages #72: Commit 1537eda pushed by purefunctor
March 7, 2025 12:14 49s main
main
March 7, 2025 12:14 49s
Mark whether imports are exported or not Cargo Build & Test #477: Commit 1537eda pushed by purefunctor
March 7, 2025 12:14 27s main
main
March 7, 2025 12:14 27s
Add enumerated implicit items to imported terms Deploy to GitHub Pages #71: Commit d8e0e3d pushed by purefunctor
March 7, 2025 03:02 51s main
main
March 7, 2025 03:02 51s
Add enumerated implicit items to imported terms Cargo Build & Test #476: Commit d8e0e3d pushed by purefunctor
March 7, 2025 03:02 21s main
main
March 7, 2025 03:02 21s
Add test for duplicate imports Deploy to GitHub Pages #70: Commit 653533d pushed by purefunctor
March 6, 2025 11:06 1m 0s main
main
March 6, 2025 11:06 1m 0s
Add test for duplicate imports Cargo Build & Test #475: Commit 653533d pushed by purefunctor
March 6, 2025 11:06 26s main
main
March 6, 2025 11:06 26s
Implement initial imported items structure Cargo Build & Test #474: Commit 5cf3489 pushed by purefunctor
March 6, 2025 10:57 41s main
main
March 6, 2025 10:57 41s
Implement initial imported items structure Deploy to GitHub Pages #69: Commit 5cf3489 pushed by purefunctor
March 6, 2025 10:57 1m 3s main
main
March 6, 2025 10:57 1m 3s
Generate kinds for Forall types Cargo Build & Test #473: Commit 03f4898 pushed by purefunctor
March 5, 2025 06:57 27s main
main
March 5, 2025 06:57 27s
Generate kinds for Forall types Deploy to GitHub Pages #68: Commit 03f4898 pushed by purefunctor
March 5, 2025 06:57 50s main
main
March 5, 2025 06:57 50s
Fix lowering for ApplicationChain and Parenthesized Cargo Build & Test #472: Commit 566f66a pushed by purefunctor
March 4, 2025 03:34 25s main
main
March 4, 2025 03:34 25s
Fix lowering for ApplicationChain and Parenthesized Deploy to GitHub Pages #67: Commit 566f66a pushed by purefunctor
March 4, 2025 03:34 1m 4s main
main
March 4, 2025 03:34 1m 4s
Use Variable instead of ImplicitVariable Deploy to GitHub Pages #66: Commit f950d97 pushed by purefunctor
March 4, 2025 03:25 52s main
main
March 4, 2025 03:25 52s
Use Variable instead of ImplicitVariable Cargo Build & Test #471: Commit f950d97 pushed by purefunctor
March 4, 2025 03:25 32s main
main
March 4, 2025 03:25 32s
Initial De Bruijn bindings for instance variables Cargo Build & Test #470: Commit 05daa82 pushed by purefunctor
March 3, 2025 18:28 39s main
main
March 3, 2025 18:28 39s
Initial De Bruijn bindings for instance variables Deploy to GitHub Pages #65: Commit 05daa82 pushed by purefunctor
March 3, 2025 18:28 55s main
main
March 3, 2025 18:28 55s
Improve resolution for implicitly quantified variables Deploy to GitHub Pages #64: Commit 53fb320 pushed by purefunctor
March 2, 2025 09:32 1m 11s main
main
March 2, 2025 09:32 1m 11s
Improve resolution for implicitly quantified variables Cargo Build & Test #469: Commit 53fb320 pushed by purefunctor
March 2, 2025 09:32 37s main
main
March 2, 2025 09:32 37s
Implement initial lowering to core type Cargo Build & Test #468: Commit 6799691 pushed by purefunctor
March 2, 2025 07:27 31s main
main
March 2, 2025 07:27 31s
Implement initial lowering to core type Deploy to GitHub Pages #63: Commit 6799691 pushed by purefunctor
March 2, 2025 07:27 58s main
main
March 2, 2025 07:27 58s