Skip to content

Actions: IDNI/tau-lang

Actions

Test Debug

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-debug.yml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small fix in compute_atomic_fm_types. Test Debug #19: Commit a527b88 pushed by LuccaT95
February 14, 2025 17:56 29m 34s main
main
February 14, 2025 17:56 29m 34s
Always check if fix point in always_to_unbounded_continuation is sat. Test Debug #18: Commit 9cd9287 pushed by LuccaT95
February 14, 2025 16:30 28m 56s main
main
February 14, 2025 16:30 28m 56s
Small refactor of interpreter. Test Debug #17: Commit 1bcd02b pushed by LuccaT95
February 14, 2025 15:54 29m 26s main
main
February 14, 2025 15:54 29m 26s
The run command now takes types of 0/1 into account. Test Debug #16: Commit 4bed1eb pushed by LuccaT95
February 14, 2025 14:02 29m 32s main
main
February 14, 2025 14:02 29m 32s
Fix for output completion in test. Test Debug #15: Commit 212e8fd pushed by LuccaT95
February 14, 2025 12:43 29m 28s main
main
February 14, 2025 12:43 29m 28s
workflows: fix win packages and nightly versioning Test Debug #14: Commit e075dae pushed by tklip
February 12, 2025 18:55 29m 0s main
main
February 12, 2025 18:55 29m 0s
trim VERSION string properly + fix dockerfile and workflows Test Debug #13: Commit 0b5fd61 pushed by tklip
February 12, 2025 18:05 29m 54s main
main
February 12, 2025 18:05 29m 54s
dockerfile: tau executable as an entrypoint + usage info Test Debug #12: Commit 8ec3400 pushed by tklip
February 12, 2025 17:45 29m 2s main
main
February 12, 2025 17:45 29m 2s
workflows: release only as a draft Test Debug #11: Commit 989fec0 pushed by tklip
February 12, 2025 17:16 29m 47s main
main
February 12, 2025 17:16 29m 47s
REPL uses version string from VERSION file Test Debug #10: Commit e849a1f pushed by tklip
February 12, 2025 16:28 30m 15s main
main
February 12, 2025 16:28 30m 15s
workflows: automated tests use docker Test Debug #9: Commit 0c69110 pushed by tklip
February 12, 2025 15:33 29m 57s main
main
February 12, 2025 15:33 29m 57s
workflows: renamed and added initial upload and release jobs Test Debug #8: Commit 7b96689 pushed by tklip
February 12, 2025 14:58 58m 27s main
main
February 12, 2025 14:58 58m 27s
dockerfile: added build-arg RELEASE=yes for building packages and add… Test Debug #7: Commit ddc4cc0 pushed by tklip
February 12, 2025 14:30 58m 4s main
main
February 12, 2025 14:30 58m 4s
benchmarks improvements Test Debug #6: Commit 90ecce9 pushed by castrod
February 12, 2025 11:45 58m 51s main
main
February 12, 2025 11:45 58m 51s
Additional check in normalize_with_temp_simp for early detection of u… Test Debug #5: Commit 34bdd54 pushed by LuccaT95
February 12, 2025 10:46 58m 56s main
main
February 12, 2025 10:46 58m 56s
fixing an issue with lgrs command Test Debug #4: Commit fcc02c8 pushed by castrod
February 12, 2025 10:26 1h 2m 20s main
main
February 12, 2025 10:26 1h 2m 20s
upgrading parser version Test Debug #3: Commit ad2e329 pushed by castrod
February 12, 2025 07:23 1h 2m 53s main
main
February 12, 2025 07:23 1h 2m 53s
workflows: more renaming of test workflows; initial release and night… Test Debug #2: Commit 6364d41 pushed by tklip
February 12, 2025 03:03 1h 1m 43s main
main
February 12, 2025 03:03 1h 1m 43s
workflows: name test workflows and jobs properly and remove cpack Test Debug #1: Commit 6593b7a pushed by tklip
February 12, 2025 02:47 1h 2m 30s main
main
February 12, 2025 02:47 1h 2m 30s