Skip to content

Actions: OnionGrief/Chipollino

IntegrationTests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
522 workflow runs
522 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

(#290) Fix ошибок и unit тест на отрицание
IntegrationTests #22: Commit 3ba9ca3 pushed by dak151449
November 9, 2023 20:42 56s parsing_regex
November 9, 2023 20:42 56s
Merge branch 'main' into parsing_regex
IntegrationTests #21: Commit 47ddf77 pushed by dak151449
November 9, 2023 17:24 1m 14s parsing_regex
November 9, 2023 17:24 1m 14s
(#268) Small type fix
IntegrationTests #20: Commit 554323b pushed by TonitaN
November 9, 2023 00:44 1m 14s Colorize
November 9, 2023 00:44 1m 14s
(#268) Refactor LogPlot-N
IntegrationTests #19: Commit 9bc0473 pushed by TonitaN
November 9, 2023 00:42 1m 12s Colorize
November 9, 2023 00:42 1m 12s
(#268) Refactor logPlot-2
IntegrationTests #18: Commit eb96472 pushed by TonitaN
November 9, 2023 00:18 1m 1s Colorize
November 9, 2023 00:18 1m 1s
(#268) formatting + set_parameter refactoring
IntegrationTests #17: Commit b9e213b pushed by xendalm
November 9, 2023 00:07 1m 12s Colorize
November 9, 2023 00:07 1m 12s
(#268) Brackets balance fix
IntegrationTests #16: Commit 4c433f0 pushed by TonitaN
November 8, 2023 23:47 1m 21s Colorize
November 8, 2023 23:47 1m 21s
(#268) Refactor log plot
IntegrationTests #15: Commit 6fcbc76 pushed by TonitaN
November 8, 2023 23:35 58s Colorize
November 8, 2023 23:35 58s
(#268) Tiny fix formatting
IntegrationTests #14: Commit 4915ca5 pushed by TonitaN
November 8, 2023 18:28 1m 3s Colorize
November 8, 2023 18:28 1m 3s
(#269) Prepare to PR
IntegrationTests #13: Commit c92d79e pushed by TonitaN
November 8, 2023 18:25 58s Colorize
November 8, 2023 18:25 58s
(#268, #269) Preparing to PR
IntegrationTests #12: Commit e70f786 pushed by TonitaN
November 8, 2023 18:23 1m 9s Colorize
November 8, 2023 18:23 1m 9s
(#268) Const links probe
IntegrationTests #11: Commit f2a09e1 pushed by TonitaN
November 8, 2023 18:21 1m 38s Colorize
November 8, 2023 18:21 1m 38s
(#268) Type conv again
IntegrationTests #10: Commit da66f88 pushed by TonitaN
November 8, 2023 18:07 57s Colorize
November 8, 2023 18:07 57s
(#268) Type conversion
IntegrationTests #9: Commit 2f58fb3 pushed by TonitaN
November 8, 2023 18:01 28s Colorize
November 8, 2023 18:01 28s
(#268) No refs
IntegrationTests #8: Commit 0590c1e pushed by TonitaN
November 8, 2023 17:51 19s Colorize
November 8, 2023 17:51 19s
(#268) Variant в set_parameter
IntegrationTests #7: Commit e872b4a pushed by TonitaN
November 8, 2023 17:34 21s Colorize
November 8, 2023 17:34 21s
(#269) Colorize Annote
IntegrationTests #6: Commit b4533bd pushed by TonitaN
November 8, 2023 16:36 59s Colorize
November 8, 2023 16:36 59s
(#269) OneUnambiguous + MergeBisim
IntegrationTests #5: Commit e4557a3 pushed by TonitaN
November 8, 2023 16:18 1m 0s Colorize
November 8, 2023 16:18 1m 0s
(#283) Trap test+1
IntegrationTests #4: Commit 0136d57 pushed by TonitaN
November 8, 2023 15:49 1m 16s Colorize
November 8, 2023 15:49 1m 16s
Merge pull request #291 from OnionGrief/lemma_tester
IntegrationTests #3: Commit f91a741 pushed by xendalm
November 8, 2023 15:35 58s main
November 8, 2023 15:35 58s
(#283) добавил MetamorphicTests в github actions
IntegrationTests #2: Commit 595c985 pushed by dak151449
November 8, 2023 14:15 57s lemma_tester
November 8, 2023 14:15 57s
(#283) Разделил тесты по типам
IntegrationTests #1: Commit 98ee9f8 pushed by dak151449
November 8, 2023 14:05 1m 13s lemma_tester
November 8, 2023 14:05 1m 13s
ProTip! You can narrow down the results and go further in time using created:<2023-11-08 or the other filters available.