Skip to content

Actions: SSoelvsten/adiar

Actions

linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux.yml
273 workflow runs
273 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve naming and printing of statistics on removal by reduction rule 1 linux #362: Commit 06abe1b pushed by SSoelvsten
February 5, 2024 18:42 11m 39s main
main
February 5, 2024 18:42 11m 39s
Internal/nested sweeping/stats linux #361: Pull request #607 synchronize by SSoelvsten
February 5, 2024 18:39 11m 51s internal/nested_sweeping/stats
internal/nested_sweeping/stats
February 5, 2024 18:39 11m 51s
Internal/nested sweeping/stats linux #360: Pull request #607 synchronize by SSoelvsten
February 5, 2024 16:47 30m 8s internal/nested_sweeping/stats
internal/nested_sweeping/stats
February 5, 2024 16:47 30m 8s
Internal/nested sweeping/stats linux #359: Pull request #607 synchronize by SSoelvsten
February 5, 2024 16:43 11m 20s internal/nested_sweeping/stats
internal/nested_sweeping/stats
February 5, 2024 16:43 11m 20s
Internal/nested sweeping/stats linux #358: Pull request #607 synchronize by SSoelvsten
February 5, 2024 16:42 11m 48s internal/nested_sweeping/stats
internal/nested_sweeping/stats
February 5, 2024 16:42 11m 48s
Internal/nested sweeping/stats linux #357: Pull request #607 synchronize by SSoelvsten
February 5, 2024 16:32 42s internal/nested_sweeping/stats
internal/nested_sweeping/stats
February 5, 2024 16:32 42s
Internal/nested sweeping/stats linux #356: Pull request #607 opened by SSoelvsten
February 5, 2024 16:17 12m 6s internal/nested_sweeping/stats
internal/nested_sweeping/stats
February 5, 2024 16:17 12m 6s
Fix '*' is rendered rather italizing desired word linux #355: Commit 19a4743 pushed by SSoelvsten
January 18, 2024 15:07 31s main
main
January 18, 2024 15:07 31s
Scope mutable variable inside lambdas if possible linux #354: Commit 9d07e95 pushed by SSoelvsten
January 18, 2024 08:59 12m 27s main
main
January 18, 2024 08:59 12m 27s
Switch to other 'add pr comment' action linux #353: Commit 00cacd7 pushed by SSoelvsten
January 12, 2024 10:59 11m 51s main
main
January 12, 2024 10:59 11m 51s
Internal/prod2/increase ra threshold linux #352: Pull request #606 synchronize by SSoelvsten
January 12, 2024 09:48 34m 33s internal/prod2/increase_ra-threshold
internal/prod2/increase_ra-threshold
January 12, 2024 09:48 34m 33s
Internal/prod2/increase ra threshold linux #351: Pull request #606 opened by SSoelvsten
January 12, 2024 09:47 12m 14s internal/prod2/increase_ra-threshold
internal/prod2/increase_ra-threshold
January 12, 2024 09:47 12m 14s
Fix typo in bibtex linux #350: Commit 0cb2e0b pushed by SSoelvsten
January 11, 2024 19:42 25s main
main
January 11, 2024 19:42 25s
Fix capitalization in bibtex data linux #349: Commit 211785f pushed by SSoelvsten
January 11, 2024 19:39 26s main
main
January 11, 2024 19:39 26s
Clean up manipulatory assignment operators linux #348: Commit 2c98992 pushed by SSoelvsten
January 11, 2024 14:10 25s main
main
January 11, 2024 14:10 25s
Clean up manipulatory assignment operators linux #347: Pull request #605 synchronize by SSoelvsten
January 11, 2024 13:06 11m 59s dd/assignment_ops
dd/assignment_ops
January 11, 2024 13:06 11m 59s
Clean up manipulatory assignment operators linux #346: Pull request #605 opened by SSoelvsten
January 11, 2024 13:01 2m 32s dd/assignment_ops
dd/assignment_ops
January 11, 2024 13:01 2m 32s
Add missing whitespace in DOT output linux #345: Commit ed5a0ca pushed by SSoelvsten
January 5, 2024 14:32 19m 8s main
main
January 5, 2024 14:32 19m 8s
Remove dead variable linux #344: Commit cab3590 pushed by SSoelvsten
January 5, 2024 14:28 12m 28s main
main
January 5, 2024 14:28 12m 28s
Use Top and Bot symbols for BDDs linux #343: Commit f167e35 pushed by SSoelvsten
January 5, 2024 13:45 29s main
main
January 5, 2024 13:45 29s
Internal/DOT without ids linux #342: Pull request #603 synchronize by SSoelvsten
January 5, 2024 13:06 13m 5s internal/dot
internal/dot
January 5, 2024 13:06 13m 5s
Internal/DOT without ids linux #341: Pull request #603 synchronize by SSoelvsten
January 5, 2024 10:55 37m 32s internal/dot
internal/dot
January 5, 2024 10:55 37m 32s
Internal/DOT without ids linux #340: Pull request #603 opened by SSoelvsten
January 5, 2024 10:50 19m 25s internal/dot
internal/dot
January 5, 2024 10:50 19m 25s
ProTip! You can narrow down the results and go further in time using created:<2024-01-05 or the other filters available.