Skip to content

Actions: HarrisonGrodin/ATPL24

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
176 workflow runs
176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'week8' into week8-effects
build #76: Commit bcac129 pushed by HarrisonGrodin
March 26, 2024 15:20 2m 7s week8-effects
March 26, 2024 15:20 2m 7s
Week 8 -- Vanilla CBPV
build #75: Pull request #19 synchronize by HarrisonGrodin
March 26, 2024 15:20 2m 35s week8
March 26, 2024 15:20 2m 35s
Merge branch 'main' into week8
build #74: Commit 6e95b0f pushed by HarrisonGrodin
March 26, 2024 15:20 2m 11s week8
March 26, 2024 15:20 2m 11s
March 26, 2024 15:11 2m 19s
Week 8 -- Vanilla CBPV
build #70: Pull request #19 synchronize by ice1000
March 26, 2024 13:46 2m 5s week8
March 26, 2024 13:46 2m 5s
Remove submodule
build #69: Commit b60647f pushed by ice1000
March 26, 2024 13:46 2m 1s week8
March 26, 2024 13:46 2m 1s
Week 8 -- Vanilla CBPV
build #68: Pull request #19 synchronize by ice1000
March 26, 2024 13:45 17s week8
March 26, 2024 13:45 17s
Merge remote-tracking branch 'origin/main' into week8
build #67: Commit bc05508 pushed by ice1000
March 26, 2024 13:45 12s week8
March 26, 2024 13:45 12s
Week 8 -- Vanilla CBPV
build #66: Pull request #19 opened by ice1000
March 26, 2024 13:43 12s week8
March 26, 2024 13:43 12s
Done with first part!
build #65: Commit 51f65b7 pushed by ice1000
March 26, 2024 13:41 12s week8
March 26, 2024 13:41 12s
CBPV is so good
build #64: Commit 0f31096 pushed by ice1000
March 26, 2024 12:53 13s week8
March 26, 2024 12:53 13s
Week 8 - Effects in CBPV
build #63: Pull request #18 synchronize by ice1000
March 26, 2024 06:45 10s week8-effects
March 26, 2024 06:45 10s
add exact equality overview for io
build #62: Commit b824177 pushed by ice1000
March 26, 2024 06:45 2m 8s week8-effects
March 26, 2024 06:45 2m 8s
Week 8 - Effects in CBPV
build #61: Pull request #18 synchronize by ice1000
March 26, 2024 06:41 12s week8-effects
March 26, 2024 06:41 12s
Merge branch 'week8' into week8-effects
build #60: Commit db98f7d pushed by ice1000
March 26, 2024 06:41 10s week8-effects
March 26, 2024 06:41 10s
Week 8 - Effects in CBPV
build #59: Pull request #18 opened by jyao6429
March 26, 2024 04:08 12s week8-effects
March 26, 2024 04:08 12s
add exact equality overview for io
build #58: Commit b824177 pushed by jyao6429
March 26, 2024 04:07 1m 58s week8-effects
March 26, 2024 04:07 1m 58s
WIP
build #57: Commit e6aec55 pushed by ice1000
March 25, 2024 20:42 11s week8
March 25, 2024 20:42 11s
Sections
build #56: Commit c43ac92 pushed by ice1000
March 25, 2024 20:13 11s week8
March 25, 2024 20:13 11s
add mutable state equations
build #55: Commit cb6e196 pushed by jyao6429
March 25, 2024 06:42 2m 19s week8-effects
March 25, 2024 06:42 2m 19s
Rules
build #54: Commit f060361 pushed by ice1000
March 23, 2024 23:28 12s week8
March 23, 2024 23:28 12s
add state except for equations
build #53: Commit 849e708 pushed by jyao6429
March 23, 2024 22:29 2m 3s week8-effects
March 23, 2024 22:29 2m 3s
finish up io except for exact equality
build #52: Commit 40e167a pushed by jyao6429
March 23, 2024 20:55 2m 0s week8-effects
March 23, 2024 20:55 2m 0s