Skip to content

Actions: ftsrg/theta

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,572 workflow runs
1,572 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

XCFA-refactor 2023 [draft]
Check copyright #244: Pull request #198 synchronize by leventeBajczi
July 25, 2023 10:47 33s xcfa-refactor
July 25, 2023 10:47 33s
Added utils test
Check copyright #243: Commit 223b6fd pushed by leventeBajczi
July 25, 2023 10:47 31s xcfa-refactor
July 25, 2023 10:47 31s
XCFA-refactor 2023 [draft]
Check copyright #242: Pull request #198 synchronize by leventeBajczi
July 25, 2023 10:10 32s xcfa-refactor
July 25, 2023 10:10 32s
Added BV tests
Check copyright #241: Commit 189086f pushed by leventeBajczi
July 25, 2023 10:10 28s xcfa-refactor
July 25, 2023 10:10 28s
XCFA-refactor 2023 [draft]
Check copyright #240: Pull request #198 synchronize by leventeBajczi
July 25, 2023 09:33 27s xcfa-refactor
July 25, 2023 09:33 27s
Added Pred tests for analysis
Check copyright #239: Commit 97452d4 pushed by leventeBajczi
July 25, 2023 09:32 33s xcfa-refactor
July 25, 2023 09:32 33s
XCFA-refactor 2023 [draft]
Check copyright #238: Pull request #198 synchronize by leventeBajczi
July 25, 2023 09:06 33s xcfa-refactor
July 25, 2023 09:06 33s
Added missing c elements
Check copyright #237: Commit 57aae56 pushed by leventeBajczi
July 25, 2023 09:06 29s xcfa-refactor
July 25, 2023 09:06 29s
XCFA-refactor 2023 [draft]
Check copyright #236: Pull request #198 synchronize by leventeBajczi
July 25, 2023 08:08 39s xcfa-refactor
July 25, 2023 08:08 39s
Added logging to test in XcfaAnalysis
Check copyright #235: Commit 2b09097 pushed by leventeBajczi
July 25, 2023 08:08 29s xcfa-refactor
July 25, 2023 08:08 29s
XCFA-refactor 2023 [draft]
Check copyright #234: Pull request #198 synchronize by leventeBajczi
July 24, 2023 21:49 27s xcfa-refactor
July 24, 2023 21:49 27s
Updated tests
Check copyright #233: Commit ed15da5 pushed by leventeBajczi
July 24, 2023 21:49 31s xcfa-refactor
July 24, 2023 21:49 31s
XCFA-refactor 2023 [draft]
Check copyright #232: Pull request #198 synchronize by leventeBajczi
July 24, 2023 19:33 27s xcfa-refactor
July 24, 2023 19:33 27s
Reformatted
Check copyright #231: Commit 9720b00 pushed by leventeBajczi
July 24, 2023 19:33 33s xcfa-refactor
July 24, 2023 19:33 33s
XCFA-refactor 2023 [draft]
Check copyright #230: Pull request #198 synchronize by leventeBajczi
July 24, 2023 19:07 35s xcfa-refactor
July 24, 2023 19:07 35s
Added tests for gson
Check copyright #229: Commit a194028 pushed by leventeBajczi
July 24, 2023 19:07 30s xcfa-refactor
July 24, 2023 19:07 30s
Progress check refactor
Check copyright #228: Pull request #201 synchronize by leventeBajczi
July 24, 2023 16:54 34s progress-check-refactor
July 24, 2023 16:54 34s
XCFA-refactor 2023 [draft]
Check copyright #226: Pull request #198 synchronize by leventeBajczi
July 24, 2023 16:54 31s xcfa-refactor
July 24, 2023 16:54 31s
Added back MemoryEvent
Check copyright #225: Commit 6fd6d7f pushed by leventeBajczi
July 24, 2023 16:53 31s xcfa-refactor
July 24, 2023 16:53 31s
XCFA-refactor 2023 [draft]
Check copyright #224: Pull request #198 synchronize by leventeBajczi
July 24, 2023 16:39 32s xcfa-refactor
July 24, 2023 16:39 32s
Extended graphsolver tests
Check copyright #223: Commit 441747d pushed by leventeBajczi
July 24, 2023 16:39 33s xcfa-refactor
July 24, 2023 16:39 33s
ProTip! You can narrow down the results and go further in time using created:<2023-07-24 or the other filters available.