Skip to content

Actions: julianmendez/soda

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
178 workflow runs
178 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Update Recursion library Scala CI #201: Commit 3097288 pushed by julianmendez
April 27, 2024 20:56 1m 25s 21-development
21-development
April 27, 2024 20:56 1m 25s
Update example Scala CI #200: Commit df5a527 pushed by julianmendez
March 16, 2024 20:50 1m 18s 21-development
21-development
March 16, 2024 20:50 1m 18s
Update examples Scala CI #199: Commit 21d47fb pushed by julianmendez
February 24, 2024 16:16 1m 22s 21-development
21-development
February 24, 2024 16:16 1m 22s
Set version to 0.21.0-SNAPSHOT Scala CI #198: Commit 9023447 pushed by julianmendez
February 24, 2024 15:12 1m 57s 21-development
21-development
February 24, 2024 15:12 1m 57s
Update build.properties and plugins.sbt Scala CI #197: Commit 65d8837 pushed by julianmendez
February 18, 2024 13:09 1m 25s 21-development
21-development
February 18, 2024 13:09 1m 25s
Merge branch '21-documentation' Scala CI #196: Commit ac3b453 pushed by julianmendez
February 4, 2024 07:33 1m 18s 21-development
21-development
February 4, 2024 07:33 1m 18s
Merge branch '21-documentation' Scala CI #195: Commit ac3b453 pushed by julianmendez
February 2, 2024 09:15 1m 21s master
master
February 2, 2024 09:15 1m 21s
pages build and deployment pages-build-deployment #27: by julianmendez
February 2, 2024 09:15 48s
February 2, 2024 09:15 48s
Update README.md Scala CI #194: Commit b9b02f8 pushed by julianmendez
February 2, 2024 08:35 1m 22s 21-documentation
21-documentation
February 2, 2024 08:35 1m 22s
Update README.md Scala CI #193: Commit b9b02f8 pushed by julianmendez
February 2, 2024 08:26 3m 0s 21-documentation
21-documentation
February 2, 2024 08:26 3m 0s
Merge pull request #7 from julianmendez/20-improvement-in-lean-and-co… Scala CI #192: Commit 0354ef7 pushed by julianmendez
February 2, 2024 08:04 1m 19s 21-development
21-development
February 2, 2024 08:04 1m 19s
Merge pull request #7 from julianmendez/20-improvement-in-lean-and-co… Scala CI #191: Commit 0354ef7 pushed by julianmendez
February 1, 2024 15:23 1m 20s v0.20.0.20240201
v0.20.0.20240201
February 1, 2024 15:23 1m 20s
Merge pull request #7 from julianmendez/20-improvement-in-lean-and-co… Scala CI #190: Commit 0354ef7 pushed by julianmendez
February 1, 2024 15:20 1m 18s master
master
February 1, 2024 15:20 1m 18s
pages build and deployment pages-build-deployment #26: by julianmendez
February 1, 2024 15:20 46s
February 1, 2024 15:20 46s
Update version to 0.20.0 Scala CI #189: Commit 76f7d2c pushed by julianmendez
February 1, 2024 15:14 1m 19s 20-improvement-in-lean-and-coq-translations
20-improvement-in-lean-and-coq-translations
February 1, 2024 15:14 1m 19s
Update README.md Scala CI #188: Commit ff6aaf0 pushed by julianmendez
February 1, 2024 14:15 1m 24s 20-improvement-in-lean-and-coq-translations
20-improvement-in-lean-and-coq-translations
February 1, 2024 14:15 1m 24s
Update README.md Scala CI #187: Commit 0ed4d37 pushed by julianmendez
January 31, 2024 22:21 1m 20s 20-improvement-in-lean-and-coq-translations
20-improvement-in-lean-and-coq-translations
January 31, 2024 22:21 1m 20s
Update translation of Seq constructor Scala CI #186: Commit 9a66741 pushed by julianmendez
January 31, 2024 16:47 1m 22s 20-improvement-in-lean-and-coq-translations
20-improvement-in-lean-and-coq-translations
January 31, 2024 16:47 1m 22s
Replace some _otherwise occurrences Scala CI #185: Commit ad08ef4 pushed by julianmendez
January 31, 2024 16:16 1m 27s 20-improvement-in-lean-and-coq-translations
20-improvement-in-lean-and-coq-translations
January 31, 2024 16:16 1m 27s
Update Recursion class Scala CI #184: Commit 17c1fcd pushed by julianmendez
January 31, 2024 15:30 1m 24s 20-improvement-in-lean-and-coq-translations
20-improvement-in-lean-and-coq-translations
January 31, 2024 15:30 1m 24s
Update example Scala CI #183: Commit e70ebd4 pushed by julianmendez
January 31, 2024 00:02 1m 50s 20-improvement-in-lean-and-coq-translations
20-improvement-in-lean-and-coq-translations
January 31, 2024 00:02 1m 50s
Update examples Scala CI #182: Commit f8c406d pushed by julianmendez
January 30, 2024 23:46 1m 42s 20-translation-improvements
20-translation-improvements
January 30, 2024 23:46 1m 42s
Update translation of annotations to Lean and Coq Scala CI #181: Commit 74cd8e0 pushed by julianmendez
January 30, 2024 23:30 1m 31s 20-translation-improvements
20-translation-improvements
January 30, 2024 23:30 1m 31s
Add Unicode symbols for abstract and function definition Scala CI #180: Commit 827dc6b pushed by julianmendez
January 30, 2024 23:07 1m 43s 20-translation-improvements
20-translation-improvements
January 30, 2024 23:07 1m 43s
Update syntax highlighting Scala CI #179: Commit 3d11670 pushed by julianmendez
January 30, 2024 20:19 1m 21s 20-translation-improvements
20-translation-improvements
January 30, 2024 20:19 1m 21s