Skip to content

Actions: IDNI/tau-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,813 workflow runs
1,813 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adding Z3 to build CMake #430: Commit 2dabdf3 pushed by castrod
February 3, 2025 10:55 1h 29m 24s main
main
February 3, 2025 10:55 1h 29m 24s
pages build and deployment pages-build-deployment #541: by castrod
February 3, 2025 10:55 40s main
main
February 3, 2025 10:55 40s
Merge branch 'main' of https://github.com/IDNI/tau-lang CMake #429: Commit b615203 pushed by castrod
January 28, 2025 13:41 19m 13s main
main
January 28, 2025 13:41 19m 13s
Merge branch 'main' of https://github.com/IDNI/tau-lang CMake #429: Commit b615203 pushed by castrod
January 28, 2025 13:41 55m 20s main
main
January 28, 2025 13:41 55m 20s
pages build and deployment pages-build-deployment #540: by castrod
January 28, 2025 13:41 43s main
main
January 28, 2025 13:41 43s
parsing: fix bf_ref priority over bf_and CMake #428: Commit 49fd2db pushed by tklip
January 27, 2025 21:13 54m 56s main
main
January 27, 2025 21:13 54m 56s
parsing: fix bf_ref priority over bf_and CMake #428: Commit 49fd2db pushed by tklip
January 27, 2025 21:13 19m 20s main
main
January 27, 2025 21:13 19m 20s
pages build and deployment pages-build-deployment #539: by tklip
January 27, 2025 21:13 48s main
main
January 27, 2025 21:13 48s
fixes in solutions printing CMake #427: Commit 5ee657f pushed by castrod
January 27, 2025 13:26 58m 42s main
main
January 27, 2025 13:26 58m 42s
fixes in solutions printing CMake #427: Commit 5ee657f pushed by castrod
January 27, 2025 13:26 19m 45s main
main
January 27, 2025 13:26 19m 45s
pages build and deployment pages-build-deployment #538: by castrod
January 27, 2025 13:26 42s main
main
January 27, 2025 13:26 42s
minor fixes and improvements in solver/lgrs CMake #426: Commit a0a168a pushed by castrod
January 27, 2025 13:02 58m 52s main
main
January 27, 2025 13:02 58m 52s
minor fixes and improvements in solver/lgrs CMake #426: Commit a0a168a pushed by castrod
January 27, 2025 13:02 19m 46s main
main
January 27, 2025 13:02 19m 46s
pages build and deployment pages-build-deployment #537: by castrod
January 27, 2025 13:02 45s main
main
January 27, 2025 13:02 45s
improvements in min/max solution reporting CMake #425: Commit 64d862a pushed by castrod
January 25, 2025 10:19 1h 0m 50s main
main
January 25, 2025 10:19 1h 0m 50s
improvements in min/max solution reporting CMake #425: Commit 64d862a pushed by castrod
January 25, 2025 10:19 19m 26s main
main
January 25, 2025 10:19 19m 26s
pages build and deployment pages-build-deployment #536: by castrod
January 25, 2025 10:19 40s main
main
January 25, 2025 10:19 40s
splitting solver.h into solver.h and solver.tmpl.h CMake #424: Commit fb1a714 pushed by castrod
January 23, 2025 07:50 1h 0m 28s main
main
January 23, 2025 07:50 1h 0m 28s
splitting solver.h into solver.h and solver.tmpl.h CMake #424: Commit fb1a714 pushed by castrod
January 23, 2025 07:50 19m 43s main
main
January 23, 2025 07:50 19m 43s
pages build and deployment pages-build-deployment #535: by castrod
January 23, 2025 07:50 37s main
main
January 23, 2025 07:50 37s
infer_constant_types: add newly created scopes CMake #423: Commit 62f177c pushed by tklip
January 22, 2025 18:37 1h 0m 35s main
main
January 22, 2025 18:37 1h 0m 35s
infer_constant_types: add newly created scopes CMake #423: Commit 62f177c pushed by tklip
January 22, 2025 18:37 19m 48s main
main
January 22, 2025 18:37 19m 48s
pages build and deployment pages-build-deployment #534: by tklip
January 22, 2025 18:37 41s main
main
January 22, 2025 18:37 41s
Merge branch 'main' of https://github.com/IDNI/tau-lang CMake #422: Commit 4c47b64 pushed by castrod
January 21, 2025 11:57 19m 39s main
main
January 21, 2025 11:57 19m 39s
Merge branch 'main' of https://github.com/IDNI/tau-lang CMake #422: Commit 4c47b64 pushed by castrod
January 21, 2025 11:57 59m 26s main
main
January 21, 2025 11:57 59m 26s