Skip to content

Actions: cu1ch3n/type-inference-zoo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update website Build the static website #9: Commit 2b9b9db pushed by cu1ch3n
January 7, 2025 09:00 4m 24s main
main
January 7, 2025 09:00 4m 24s
update paper link Build the static website #8: Commit 55ea92f pushed by cu1ch3n
January 7, 2025 07:50 4m 20s main
main
January 7, 2025 07:50 4m 20s
Add No Unification Variable Left Behind: Fully Grounding Type Inferen… Build the static website #7: Commit 60e44ed pushed by cu1ch3n
January 7, 2025 03:32 4m 16s main
main
January 7, 2025 03:32 4m 16s
init AlgR Build the static website #6: Commit b39c3a0 pushed by cu1ch3n
January 6, 2025 12:49 4m 12s main
main
January 6, 2025 12:49 4m 12s
update README Build the static website #5: Commit 46dcb1e pushed by cu1ch3n
January 6, 2025 08:32 4m 8s main
main
January 6, 2025 08:32 4m 8s
minor improvements Build the static website #4: Commit e0d9e44 pushed by cu1ch3n
January 6, 2025 08:26 6m 17s main
main
January 6, 2025 08:26 6m 17s
update deploy CI Build the static website #3: Commit 1718d3a pushed by cu1ch3n
January 6, 2025 07:51 6m 20s main
main
January 6, 2025 07:51 6m 20s
update wasm path Build the static website #2: Commit d34f0c1 pushed by cu1ch3n
January 6, 2025 07:39 5m 54s main
main
January 6, 2025 07:39 5m 54s
github CI to build website Build the static website #1: Commit aaca431 pushed by cu1ch3n
January 6, 2025 07:32 5m 39s main
main
January 6, 2025 07:32 5m 39s