Skip to content

Actions: rockofox/indigo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
168 workflow runs
168 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Fix flaky cabal update in CI Build, Test, and Release #278: Commit 4f1a0d4 pushed by rockofox
9m 47s main
main
9m 47s
Update GHA dependencies Build, Test, and Release #277: Commit db7a4c4 pushed by rockofox
4m 9s main
main
4m 9s
Update GHA dependencies Deploy to GitHub Pages #41: Commit db7a4c4 pushed by rockofox
39s main
main
39s
Change nothing-but-nix preset to 'carve' Build, Test, and Release #276: Commit 2af1850 pushed by rockofox
3m 59s main
main
3m 59s
Cover SMT solver in refinement types documentation Deploy to GitHub Pages #40: Commit f0c2455 pushed by rockofox
52s main
main
52s
Cover SMT solver in refinement types documentation Build, Test, and Release #275: Commit f0c2455 pushed by rockofox
4m 15s main
main
4m 15s
Rewrite BytecodeCompiler.hs as thin orchestrator Build, Test, and Release #274: Commit 894cf28 pushed by rockofox
10m 3s main
main
10m 3s
Remove redundant VM instructions Build, Test, and Release #273: Commit af822f7 pushed by rockofox
12m 26s main
main
12m 26s
Unify variant and struct into type Deploy to GitHub Pages #39: Commit c80e657 pushed by rockofox
41s main
main
41s
Unify variant and struct into type Build, Test, and Release #272: Commit c80e657 pushed by rockofox
10m 5s main
main
10m 5s
Unify variant and struct into type Build, Test, and Release #271: Commit 691fd74 pushed by rockofox
10m 8s main
main
10m 8s
Unify variant and struct into type Deploy to GitHub Pages #38: Commit 691fd74 pushed by rockofox
46s main
main
46s
Fix trait validation and generalize method lookup Build, Test, and Release #270: Commit abca411 pushed by rockofox
11m 54s main
main
11m 54s
Fix trait validation and generalize method lookup Deploy to GitHub Pages #37: Commit abca411 pushed by rockofox
47s main
main
47s
Add tests and docs for traits with required properties and methods Build, Test, and Release #269: Commit bc9e451 pushed by rockofox
10m 42s main
main
10m 42s
Add tests and docs for traits with required properties and methods Deploy to GitHub Pages #36: Commit bc9e451 pushed by rockofox
49s main
main
49s
Add required properties and refinement types to traits Build, Test, and Release #268: Commit 3b811aa pushed by rockofox
11m 34s main
main
11m 34s
Add required properties and refinement types to traits Deploy to GitHub Pages #35: Commit 3b811aa pushed by rockofox
43s main
main
43s
website: add docs for imports and modules Deploy to GitHub Pages #34: Commit 52c8520 pushed by rockofox
53s main
main
53s
website: add docs for imports and modules Build, Test, and Release #267: Commit 52c8520 pushed by rockofox
12m 3s main
main
12m 3s
Add module/import support to LSP, indigo.json configuration Build, Test, and Release #266: Commit b7c0ad7 pushed by rockofox
9m 59s main
main
9m 59s
Fix WASM module caching with build-time versioning Deploy to GitHub Pages #33: Commit e98f9e6 pushed by rockofox
48s main
main
48s
Fix WASM module caching with build-time versioning Build, Test, and Release #265: Commit e98f9e6 pushed by rockofox
7m 34s main
main
7m 34s
Extract file I/O and sockets into separate modules Build, Test, and Release #264: Commit 055276d pushed by rockofox
9m 25s main
main
9m 25s
Fix issue that caused wasm to not get uploaded to storage bucket Build, Test, and Release #263: Commit b8463dc pushed by rockofox
7m 14s main
main
7m 14s