Skip to content

Actions: cu1ch3n/type-inference-zoo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

output html for the website Build the static website #10: Commit 737f407 pushed by cu1ch3n
February 26, 2025 06:12 4m 20s main
main
February 26, 2025 06:12 4m 20s
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