Skip to content

Actions: anoma/juvix-mtl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update stdlib to v0.10.1 (#5) Typecheck #16: Commit 116893a pushed by janmasrovira
January 29, 2025 12:12 26s main
main
January 29, 2025 12:12 26s
Update stdlib to v0.10.1 (#5) Typecheck #15: Commit f9ebdfe pushed by janmasrovira
January 29, 2025 11:51 29s main
main
January 29, 2025 11:51 29s
Update stdlib to v0.10.1 Typecheck #14: Pull request #5 opened by janmasrovira
January 29, 2025 11:50 31s update-stdlib
update-stdlib
January 29, 2025 11:50 31s
add local to Reader (#4) Typecheck #13: Commit 6b41d21 pushed by janmasrovira
January 22, 2025 16:44 24s main
main
January 22, 2025 16:44 24s
Add local to Reader Typecheck #12: Pull request #4 opened by janmasrovira
January 22, 2025 16:43 23s reader-local
reader-local
January 22, 2025 16:43 23s
Add transitive instances (#3) Typecheck #11: Commit d4f1c40 pushed by janmasrovira
January 22, 2025 16:14 24s main
main
January 22, 2025 16:14 24s
Add transitive instances Typecheck #10: Pull request #3 synchronize by janmasrovira
January 22, 2025 16:06 28s add-instances
add-instances
January 22, 2025 16:06 28s
Add transitive instances Typecheck #9: Pull request #3 synchronize by janmasrovira
January 22, 2025 16:05 26s add-instances
add-instances
January 22, 2025 16:05 26s
Add transitive instances Typecheck #8: Pull request #3 synchronize by janmasrovira
January 22, 2025 15:57 25s add-instances
add-instances
January 22, 2025 15:57 25s
Add transitive instances Typecheck #7: Pull request #3 opened by janmasrovira
January 22, 2025 14:22 29s add-instances
add-instances
January 22, 2025 14:22 29s
Rename Except to Error (#2) Typecheck #6: Commit 13c5db9 pushed by janmasrovira
January 22, 2025 14:09 22s main
main
January 22, 2025 14:09 22s
Rename Except to Error Typecheck #5: Pull request #2 synchronize by janmasrovira
January 22, 2025 13:46 24s rename-except
rename-except
January 22, 2025 13:46 24s
Rename Except to Error Typecheck #4: Pull request #2 synchronize by janmasrovira
January 22, 2025 13:46 29s rename-except
rename-except
January 22, 2025 13:46 29s
Rename Except to Error Typecheck #3: Pull request #2 opened by janmasrovira
January 22, 2025 12:36 23s rename-except
rename-except
January 22, 2025 12:36 23s
Add CI checks (#1) Typecheck #2: Commit e2cd9bf pushed by janmasrovira
January 22, 2025 11:36 30s main
main
January 22, 2025 11:36 30s
Add CI Typecheck #1: Pull request #1 opened by janmasrovira
January 22, 2025 11:35 25s add-ci
add-ci
January 22, 2025 11:35 25s