Skip to content

Actions: butterunderflow/fun-for-fun

Actions

build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
515 workflow runs
515 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix free variable analysis of letrec expression
build and test #458: Commit de4c5f1 pushed by butterunderflow
August 7, 2024 13:37 5m 30s dev/fix-letrec-expr-fva
August 7, 2024 13:37 5m 30s
More test and some fixes (#53)
build and test #457: Commit 79da780 pushed by butterunderflow
August 7, 2024 10:14 5m 52s master
August 7, 2024 10:14 5m 52s
fix module type normalize: add constructor to environment
build and test #456: Commit 76a9fb9 pushed by butterunderflow
August 6, 2024 17:41 5m 51s dev/more-test
August 6, 2024 17:41 5m 51s
fix module type normalize: add constructor to environment
build and test #455: Commit a243675 pushed by butterunderflow
August 6, 2024 17:33 5m 37s dev/more-test
August 6, 2024 17:33 5m 37s
Enhance error report: hint module expression of module type id (#51)
build and test #454: Commit cfdb29c pushed by butterunderflow
August 5, 2024 23:43 5m 39s master
August 5, 2024 23:43 5m 39s
refactor: avoid huge let expression
build and test #453: Commit 9076887 pushed by butterunderflow
August 5, 2024 23:25 5m 34s dev/hint-of-id
August 5, 2024 23:25 5m 34s
Show coverage information on PR comment (#52)
build and test #452: Commit 4d3c4e6 pushed by butterunderflow
August 4, 2024 16:49 5m 35s master
August 4, 2024 16:49 5m 35s
show coverage information
build and test #451: Commit 018b270 pushed by butterunderflow
August 4, 2024 16:42 5m 41s dev/coverage-ci
August 4, 2024 16:42 5m 41s
show coverage information
build and test #450: Commit 41adc44 pushed by butterunderflow
August 4, 2024 16:32 5m 33s dev/coverage-ci
August 4, 2024 16:32 5m 33s
show coverage information
build and test #449: Commit 41adc44 pushed by butterunderflow
August 4, 2024 16:32 6m 12s dev/test-no-pr-push
August 4, 2024 16:32 6m 12s
show coverage information
build and test #448: Commit 5854450 pushed by butterunderflow
August 4, 2024 16:23 6m 2s dev/test-no-pr-push
August 4, 2024 16:23 6m 2s
show coverage information
build and test #447: Commit 5854450 pushed by butterunderflow
August 4, 2024 16:21 6m 16s dev/coverage-ci
August 4, 2024 16:21 6m 16s
show coverage information
build and test #446: Commit 4ef0f81 pushed by butterunderflow
August 4, 2024 16:20 Startup failure dev/test-no-pr-push
August 4, 2024 16:20 Startup failure
show coverage information
build and test #445: Commit 4ef0f81 pushed by butterunderflow
August 4, 2024 16:20 1s dev/coverage-ci
August 4, 2024 16:20 1s
show coverage information
build and test #444: Commit 73fe45d pushed by butterunderflow
August 4, 2024 15:54 5m 27s dev/coverage-ci
August 4, 2024 15:54 5m 27s
show coverage information
build and test #443: Commit 2e8339e pushed by butterunderflow
August 4, 2024 14:46 5m 45s dev/coverage-ci
August 4, 2024 14:46 5m 45s
show coverage information
build and test #442: Commit d182a5e pushed by butterunderflow
August 4, 2024 14:35 5m 43s dev/coverage-ci
August 4, 2024 14:35 5m 43s
show coverage information
build and test #441: Commit 20cfb55 pushed by butterunderflow
August 4, 2024 14:32 Failure dev/coverage-ci
August 4, 2024 14:32 Failure
refactor: avoid huge let expression
build and test #440: Commit ee323a7 pushed by butterunderflow
August 4, 2024 14:12 5m 48s dev/hint-of-id
August 4, 2024 14:12 5m 48s
use lookup instead of get indicate O(n) operation
build and test #439: Commit 7122a68 pushed by butterunderflow
August 4, 2024 12:23 5m 59s master
August 4, 2024 12:23 5m 59s
remove some warning suppress
build and test #438: Commit 931a3ed pushed by butterunderflow
August 3, 2024 06:34 6m 26s master
August 3, 2024 06:34 6m 26s
tweak
build and test #437: Commit ee409b6 pushed by butterunderflow
August 1, 2024 14:35 14m 36s master
August 1, 2024 14:35 14m 36s
update CI: Save resource & add format check (#47)
build and test #436: Commit 4523e41 pushed by butterunderflow
August 1, 2024 14:33 8m 4s master
August 1, 2024 14:33 8m 4s
format all
build and test #435: Commit 434d3f5 pushed by butterunderflow
August 1, 2024 14:22 8m 48s debug-ci
August 1, 2024 14:22 8m 48s
format all
build and test #434: Commit 38d9dc7 pushed by butterunderflow
August 1, 2024 14:08 9m 30s debug-ci
August 1, 2024 14:08 9m 30s