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

pages build and deployment pages-build-deployment #533: by castrod
January 21, 2025 11:57 37s main
main
January 21, 2025 11:57 37s
Small fix: Collecting free variables before building implication. CMake #421: Commit fab4ca2 pushed by LuccaT95
January 21, 2025 11:06 59m 13s main
main
January 21, 2025 11:06 59m 13s
Small fix: Collecting free variables before building implication. CMake #421: Commit fab4ca2 pushed by LuccaT95
January 21, 2025 11:06 20m 13s main
main
January 21, 2025 11:06 20m 13s
pages build and deployment pages-build-deployment #532: by LuccaT95
January 21, 2025 11:06 39s main
main
January 21, 2025 11:06 39s
Merge branch 'main' of https://github.com/IDNI/tau-lang CMake #420: Commit 3373867 pushed by castrod
January 21, 2025 07:18 57m 47s main
main
January 21, 2025 07:18 57m 47s
Merge branch 'main' of https://github.com/IDNI/tau-lang CMake #420: Commit 3373867 pushed by castrod
January 21, 2025 07:18 20m 39s main
main
January 21, 2025 07:18 20m 39s
pages build and deployment pages-build-deployment #531: by castrod
January 21, 2025 07:18 38s main
main
January 21, 2025 07:18 38s
Improvements in splitter tests. CMake #419: Commit 2101998 pushed by LuccaT95
January 20, 2025 15:22 58m 27s main
main
January 20, 2025 15:22 58m 27s
Improvements in splitter tests. CMake #419: Commit 2101998 pushed by LuccaT95
January 20, 2025 15:22 19m 57s main
main
January 20, 2025 15:22 19m 57s
pages build and deployment pages-build-deployment #530: by LuccaT95
January 20, 2025 15:22 40s main
main
January 20, 2025 15:22 40s
parsing: fix sbf conjunction_nosep limit negation, fix tau parenthesi… CMake #418: Commit 421b758 pushed by tklip
January 20, 2025 13:16 49m 13s main
main
January 20, 2025 13:16 49m 13s
parsing: fix sbf conjunction_nosep limit negation, fix tau parenthesi… CMake #418: Commit 421b758 pushed by tklip
January 20, 2025 13:16 19m 37s main
main
January 20, 2025 13:16 19m 37s
pages build and deployment pages-build-deployment #529: by tklip
January 20, 2025 13:16 36s main
main
January 20, 2025 13:16 36s
parsing: bf_neg cannot contain bf_and as well (forgotten in prev commit) CMake #417: Commit 265f966 pushed by tklip
January 20, 2025 12:46 50m 8s main
main
January 20, 2025 12:46 50m 8s
parsing: bf_neg cannot contain bf_and as well (forgotten in prev commit) CMake #417: Commit 265f966 pushed by tklip
January 20, 2025 12:46 19m 35s main
main
January 20, 2025 12:46 19m 35s
pages build and deployment pages-build-deployment #528: by tklip
January 20, 2025 12:46 41s main
main
January 20, 2025 12:46 41s
parsing: fix bf_neg vs bf_and_nosep priority and limit bf_neg operand CMake #416: Commit 64e21dd pushed by tklip
January 20, 2025 12:35 20m 14s main
main
January 20, 2025 12:35 20m 14s
parsing: fix bf_neg vs bf_and_nosep priority and limit bf_neg operand CMake #416: Commit 64e21dd pushed by tklip
January 20, 2025 12:35 50m 39s main
main
January 20, 2025 12:35 50m 39s
pages build and deployment pages-build-deployment #527: by tklip
January 20, 2025 12:35 39s main
main
January 20, 2025 12:35 39s
adding solver tests CMake #415: Commit 72ab35a pushed by castrod
January 20, 2025 07:30 48m 18s main
main
January 20, 2025 07:30 48m 18s
adding solver tests CMake #415: Commit 72ab35a pushed by castrod
January 20, 2025 07:30 19m 15s main
main
January 20, 2025 07:30 19m 15s
pages build and deployment pages-build-deployment #526: by castrod
January 20, 2025 07:30 42s main
main
January 20, 2025 07:30 42s
fixing some naming in README.md CMake #414: Commit cf31e40 pushed by castrod
January 18, 2025 06:12 19m 1s main
main
January 18, 2025 06:12 19m 1s
fixing some naming in README.md CMake #414: Commit cf31e40 pushed by castrod
January 18, 2025 06:12 47m 49s main
main
January 18, 2025 06:12 47m 49s
pages build and deployment pages-build-deployment #525: by castrod
January 18, 2025 06:12 38s main
main
January 18, 2025 06:12 38s