Skip to content

Actions: julianmendez/tiles

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update example 'no subsidy'
Scala CI #28: Commit 90127fe pushed by julianmendez
February 25, 2024 23:04 1m 1s development
February 25, 2024 23:04 1m 1s
Merge branch 'master' into development
Scala CI #27: Commit 2366db0 pushed by julianmendez
February 25, 2024 21:15 57s development
February 25, 2024 21:15 57s
Merge pull request #5 from julianmendez/documentation
Scala CI #26: Commit cf04ec5 pushed by julianmendez
February 25, 2024 21:13 1m 0s master
February 25, 2024 21:13 1m 0s
pages build and deployment
pages-build-deployment #7: by julianmendez
February 25, 2024 21:13 43s
February 25, 2024 21:13 43s
Update comments
Scala CI #25: Commit 2091162 pushed by julianmendez
February 25, 2024 21:03 55s documentation
February 25, 2024 21:03 55s
Merge branch 'master' into documentation
Scala CI #24: Commit 22c8fe0 pushed by julianmendez
February 25, 2024 20:33 1m 0s documentation
February 25, 2024 20:33 1m 0s
Merge pull request #4 from julianmendez/development
Scala CI #23: Commit e05ca18 pushed by julianmendez
February 25, 2024 20:23 54s master
February 25, 2024 20:23 54s
pages build and deployment
pages-build-deployment #6: by julianmendez
February 25, 2024 20:23 45s
February 25, 2024 20:23 45s
Update README.md
Scala CI #22: Commit a7538c8 pushed by julianmendez
February 25, 2024 20:18 57s development
February 25, 2024 20:18 57s
Merge branch 'master' into documentation
Scala CI #21: Commit 053116d pushed by julianmendez
February 25, 2024 20:01 1m 2s documentation
February 25, 2024 20:01 1m 2s
Merge pull request #3 from julianmendez/development
Scala CI #20: Commit 6546e8f pushed by julianmendez
February 25, 2024 19:52 59s master
February 25, 2024 19:52 59s
pages build and deployment
pages-build-deployment #5: by julianmendez
February 25, 2024 19:52 40s
February 25, 2024 19:52 40s
Add example of child care subsidy
Scala CI #19: Commit 5fae6b2 pushed by julianmendez
February 25, 2024 19:49 52s 1-development
February 25, 2024 19:49 52s
Fix example
Scala CI #18: Commit abf7735 pushed by julianmendez
February 25, 2024 19:41 1m 0s development
February 25, 2024 19:41 1m 0s
Update README.md
Scala CI #17: Commit ae1017e pushed by julianmendez
February 25, 2024 19:23 52s development
February 25, 2024 19:23 52s
Change ScoringTool to use Float instead of Double
Scala CI #16: Commit 19ec821 pushed by julianmendez
February 23, 2024 00:56 55s development
February 23, 2024 00:56 55s
Add class to test a child care subsidy scenario
Scala CI #15: Commit ba0dd03 pushed by julianmendez
February 21, 2024 20:45 53s development
February 21, 2024 20:45 53s
Add some imports for Lean translation
Scala CI #14: Commit 4af656a pushed by julianmendez
February 21, 2024 00:02 57s development
February 21, 2024 00:02 57s
Update build.sbt
Scala CI #13: Commit a4a9a97 pushed by julianmendez
February 18, 2024 20:19 53s development
February 18, 2024 20:19 53s
Update build.sbt
Scala CI #12: Commit 7da744d pushed by julianmendez
February 18, 2024 16:43 37s development
February 18, 2024 16:43 37s
Simplify Measure type
Scala CI #11: Commit 1e7d9ef pushed by julianmendez
February 18, 2024 16:41 55s development
February 18, 2024 16:41 55s
Update build.properties and plugins.sbt
Scala CI #10: Commit edaca52 pushed by julianmendez
February 18, 2024 15:34 54s development
February 18, 2024 15:34 54s
Use Scala 3.4.0 only (no Scala 2)
Scala CI #9: Commit b94f140 pushed by julianmendez
February 18, 2024 11:46 54s development
February 18, 2024 11:46 54s
Add Main.lean
Scala CI #8: Commit 783a7f6 pushed by julianmendez
February 18, 2024 06:50 1m 1s development
February 18, 2024 06:50 1m 1s
Add lean-toolchain
Scala CI #7: Commit 1e917ce pushed by julianmendez
February 15, 2024 10:07 1m 28s development
February 15, 2024 10:07 1m 28s