Skip to content

Actions: IDNI/tau-lang

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print updated specification.
CMake #438: Commit d84dd79 pushed by LuccaT95
February 7, 2025 21:05 20m 32s main
February 7, 2025 21:05 20m 32s
Print updated specification.
CMake #438: Commit d84dd79 pushed by LuccaT95
February 7, 2025 21:05 1h 2m 2s main
February 7, 2025 21:05 1h 2m 2s
pages build and deployment
pages-build-deployment #549: by LuccaT95
February 7, 2025 21:05 43s main
February 7, 2025 21:05 43s
Small fix in "with inputs and outputs" test suite.
CMake #437: Commit ae4eb8b pushed by LuccaT95
February 7, 2025 11:28 1h 0m 10s main
February 7, 2025 11:28 1h 0m 10s
Small fix in "with inputs and outputs" test suite.
CMake #437: Commit ae4eb8b pushed by LuccaT95
February 7, 2025 11:28 19m 59s main
February 7, 2025 11:28 19m 59s
pages build and deployment
pages-build-deployment #548: by LuccaT95
February 7, 2025 11:28 41s main
February 7, 2025 11:28 41s
Merge branch 'main' of https://github.com/IDNI/tau-lang
CMake #436: Commit 9fbdd89 pushed by castrod
February 7, 2025 06:36 59m 52s main
February 7, 2025 06:36 59m 52s
Merge branch 'main' of https://github.com/IDNI/tau-lang
CMake #436: Commit 9fbdd89 pushed by castrod
February 7, 2025 06:36 20m 18s main
February 7, 2025 06:36 20m 18s
pages build and deployment
pages-build-deployment #547: by castrod
February 7, 2025 06:36 36s main
February 7, 2025 06:36 36s
Replaced semantic zero/one check with syntactic zero/one check in hoo…
CMake #435: Commit b5d9d10 pushed by LuccaT95
February 6, 2025 19:00 1h 2m 52s main
February 6, 2025 19:00 1h 2m 52s
Replaced semantic zero/one check with syntactic zero/one check in hoo…
CMake #435: Commit b5d9d10 pushed by LuccaT95
February 6, 2025 19:00 20m 8s main
February 6, 2025 19:00 20m 8s
pages build and deployment
pages-build-deployment #546: by LuccaT95
February 6, 2025 19:00 39s main
February 6, 2025 19:00 39s
Merge branch 'pointwise_revision'
CMake #434: Commit 7e3b5b9 pushed by LuccaT95
February 6, 2025 17:36 20m 8s main
February 6, 2025 17:36 20m 8s
Merge branch 'pointwise_revision'
CMake #434: Commit 7e3b5b9 pushed by LuccaT95
February 6, 2025 17:36 1h 0m 59s main
February 6, 2025 17:36 1h 0m 59s
pages build and deployment
pages-build-deployment #545: by LuccaT95
February 6, 2025 17:36 36s main
February 6, 2025 17:36 36s
deactivating Z3 by default
CMake #433: Commit cefaf94 pushed by castrod
February 4, 2025 08:09 54m 34s main
February 4, 2025 08:09 54m 34s
deactivating Z3 by default
CMake #433: Commit cefaf94 pushed by castrod
February 4, 2025 08:09 20m 33s main
February 4, 2025 08:09 20m 33s
pages build and deployment
pages-build-deployment #544: by castrod
February 4, 2025 08:09 39s main
February 4, 2025 08:09 39s
offset arity part of rel's signature; including refactoring of rr_typ…
CMake #432: Commit 4bd95b3 pushed by tklip
February 3, 2025 18:47 1h 27m 7s main
February 3, 2025 18:47 1h 27m 7s
offset arity part of rel's signature; including refactoring of rr_typ…
CMake #432: Commit 4bd95b3 pushed by tklip
February 3, 2025 18:47 54m 35s main
February 3, 2025 18:47 54m 35s
pages build and deployment
pages-build-deployment #543: by tklip
February 3, 2025 18:47 44s main
February 3, 2025 18:47 44s
moving ba related files to boolean_algebras folder
CMake #431: Commit 0ce1a8d pushed by castrod
February 3, 2025 11:57 53m 44s main
February 3, 2025 11:57 53m 44s
moving ba related files to boolean_algebras folder
CMake #431: Commit 0ce1a8d pushed by castrod
February 3, 2025 11:57 1h 28m 39s main
February 3, 2025 11:57 1h 28m 39s
pages build and deployment
pages-build-deployment #542: by castrod
February 3, 2025 11:57 39s main
February 3, 2025 11:57 39s
adding Z3 to build
CMake #430: Commit 2dabdf3 pushed by castrod
February 3, 2025 10:55 53m 59s main
February 3, 2025 10:55 53m 59s