Skip to content

Actions: julianmendez/tiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Main.lean Scala CI #8: Commit 783a7f6 pushed by julianmendez
February 18, 2024 06:50 1m 1s development
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
development
February 15, 2024 10:07 1m 28s
Add lean-toolchain Scala CI #6: Commit 1e917ce pushed by julianmendez
February 15, 2024 10:07 1m 2s master
master
February 15, 2024 10:07 1m 2s
pages build and deployment pages-build-deployment #4: by julianmendez
February 15, 2024 10:06 1m 17s master
master
February 15, 2024 10:06 1m 17s
Merge pull request #2 from julianmendez/documentation Scala CI #5: Commit 5298a47 pushed by julianmendez
February 13, 2024 22:56 1m 4s master
master
February 13, 2024 22:56 1m 4s
pages build and deployment pages-build-deployment #3: by julianmendez
February 13, 2024 22:56 42s master
master
February 13, 2024 22:56 42s
Update README.md Scala CI #4: Commit 4cbe85c pushed by julianmendez
February 13, 2024 22:54 1m 0s documentation
documentation
February 13, 2024 22:54 1m 0s
Merge pull request #1 from julianmendez/documentation Scala CI #3: Commit 757c63c pushed by julianmendez
February 13, 2024 22:28 1m 1s master
master
February 13, 2024 22:28 1m 1s
pages build and deployment pages-build-deployment #2: by julianmendez
February 13, 2024 22:28 49s master
master
February 13, 2024 22:28 49s
Update README.md Scala CI #2: Commit 0a79159 pushed by julianmendez
February 13, 2024 22:26 1m 18s documentation
documentation
February 13, 2024 22:26 1m 18s
pages build and deployment pages-build-deployment #1: by julianmendez
February 11, 2024 12:34 44s master
master
February 11, 2024 12:34 44s
Add build.properties and plugins.sbt Scala CI #1: Commit d1f8383 pushed by julianmendez
February 11, 2024 12:30 1m 24s master
master
February 11, 2024 12:30 1m 24s