Skip to content

Actions: josefs/Gradualizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
129 workflow runs
129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Skip too complex guards Build and test #552: Pull request #570 synchronize by erszcz
October 10, 2024 13:33 43s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
October 10, 2024 13:33 43s
Skip too complex guards Self check #292: Pull request #570 synchronize by erszcz
October 10, 2024 13:33 35s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
October 10, 2024 13:33 35s
Skip too complex guards Build and test #551: Pull request #570 synchronize by erszcz
September 20, 2024 11:41 37s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 11:41 37s
Skip too complex guards Property based tests #478: Pull request #570 synchronize by erszcz
September 20, 2024 11:41 33s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 11:41 33s
Skip too complex guards Self check #291: Pull request #570 synchronize by erszcz
September 20, 2024 11:41 25s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 11:41 25s
Skip too complex guards Self check #290: Pull request #570 synchronize by erszcz
September 20, 2024 10:59 33s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 10:59 33s
Skip too complex guards Property based tests #477: Pull request #570 synchronize by erszcz
September 20, 2024 10:59 29s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 10:59 29s
Skip too complex guards Build and test #550: Pull request #570 synchronize by erszcz
September 20, 2024 10:59 42s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 20, 2024 10:59 42s
Skip functions using maybe expr, don't crash on maybe ... else Build and test #549: Pull request #571 opened by erszcz
September 17, 2024 14:02 43s erszcz:skip-maybe
erszcz:skip-maybe
September 17, 2024 14:02 43s
Skip functions using maybe expr, don't crash on maybe ... else Property based tests #476: Pull request #571 opened by erszcz
September 17, 2024 14:02 30s erszcz:skip-maybe
erszcz:skip-maybe
September 17, 2024 14:02 30s
Skip functions using maybe expr, don't crash on maybe ... else Self check #289: Pull request #571 opened by erszcz
September 17, 2024 14:02 30s erszcz:skip-maybe
erszcz:skip-maybe
September 17, 2024 14:02 30s
Skip too complex guards Property based tests #475: Pull request #570 synchronize by erszcz
September 17, 2024 13:31 34s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 13:31 34s
Skip too complex guards Self check #288: Pull request #570 synchronize by erszcz
September 17, 2024 13:31 26s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 13:31 26s
Skip too complex guards Build and test #548: Pull request #570 synchronize by erszcz
September 17, 2024 13:31 35s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 13:31 35s
Skip too complex guards Property based tests #474: Pull request #570 synchronize by erszcz
September 17, 2024 12:42 23s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:42 23s
Skip too complex guards Build and test #547: Pull request #570 synchronize by erszcz
September 17, 2024 12:42 32s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:42 32s
Skip too complex guards Self check #287: Pull request #570 synchronize by erszcz
September 17, 2024 12:42 22s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:42 22s
Skip too complex guards Self check #286: Pull request #570 opened by erszcz
September 17, 2024 12:39 35s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:39 35s
Skip too complex guards Build and test #546: Pull request #570 opened by erszcz
September 17, 2024 12:39 46s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:39 46s
Skip too complex guards Property based tests #473: Pull request #570 opened by erszcz
September 17, 2024 12:39 27s erszcz:skip-too-complex-guards
erszcz:skip-too-complex-guards
September 17, 2024 12:39 27s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Self check #285: Pull request #567 synchronize by erszcz
June 5, 2024 14:00 22s erszcz:use-ct
erszcz:use-ct
June 5, 2024 14:00 22s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Property based tests #472: Pull request #567 synchronize by erszcz
June 5, 2024 14:00 27s erszcz:use-ct
erszcz:use-ct
June 5, 2024 14:00 27s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Build and test #545: Pull request #567 synchronize by erszcz
June 5, 2024 14:00 39s erszcz:use-ct
erszcz:use-ct
June 5, 2024 14:00 39s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Property based tests #471: Pull request #567 synchronize by erszcz
June 4, 2024 22:32 28s erszcz:use-ct
erszcz:use-ct
June 4, 2024 22:32 28s
Use Common Test for testing when Gradualizer should pass, fail, and its known problems Self check #284: Pull request #567 synchronize by erszcz
June 4, 2024 22:32 23s erszcz:use-ct
erszcz:use-ct
June 4, 2024 22:32 23s