Skip to content

Actions: fkie-cad/dewolf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
479 workflow run results
479 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix ordering of inserted common subexpressions Pipeline #1251: Pull request #403 opened by rihi
March 20, 2024 12:31 8m 0s fix-cse-ordering
fix-cse-ordering
March 20, 2024 12:31 8m 0s
Fix ordering of inserted common subexpressions Add PR to project #33: Pull request #403 opened by rihi
March 20, 2024 12:31 14s fix-cse-ordering
fix-cse-ordering
March 20, 2024 12:31 14s
Fix missing definitions with global variables Add PR to project #32: Pull request #402 opened by rihi
March 20, 2024 12:02 15s mdef-gvariables
mdef-gvariables
March 20, 2024 12:02 15s
Fix missing definitions with global variables Pipeline #1250: Pull request #402 opened by rihi
March 20, 2024 12:02 8m 22s mdef-gvariables
mdef-gvariables
March 20, 2024 12:02 8m 22s
Extended Pipeline Extended Pipeline #830: Scheduled
March 20, 2024 00:46 41m 37s main
main
March 20, 2024 00:46 41m 37s
Fix Global Variables BNinja 4.0 Pipeline #1249: Pull request #401 synchronize by NeoQuix
March 19, 2024 21:03 25m 31s refactor_global_variables_2
refactor_global_variables_2
March 19, 2024 21:03 25m 31s
Fix Global Variables BNinja 4.0 Automatic Branch Creation #658: Issue comment #401 (comment) created by NeoQuix
March 19, 2024 17:02 12s
March 19, 2024 17:02 12s
Fix Global Variables BNinja 4.0 Pipeline #1248: Pull request #401 synchronize by NeoQuix
March 19, 2024 17:01 6m 24s refactor_global_variables_2
refactor_global_variables_2
March 19, 2024 17:01 6m 24s
[Condition Based Refinement] Runtime Improvements Pipeline #1247: Pull request #394 synchronize by ebehner
March 19, 2024 14:44 2m 7s issue-393-_Condition_Based_Refinement_Runtime_Improvements
issue-393-_Condition_Based_Refinement_Runtime_Improvements
March 19, 2024 14:44 2m 7s
Fix Global Variables BNinja 4.0 Automatic Branch Creation #657: Issue comment #401 (comment) created by NeoQuix
March 19, 2024 09:14 11s
March 19, 2024 09:14 11s
Fix Global Variables BNinja 4.0 Automatic Branch Creation #656: Issue comment #401 (comment) created by NeoQuix
March 19, 2024 09:11 13s
March 19, 2024 09:11 13s
Fix Global Variables BNinja 4.0 Pipeline #1246: Pull request #401 synchronize by NeoQuix
March 19, 2024 08:58 13m 1s refactor_global_variables_2
refactor_global_variables_2
March 19, 2024 08:58 13m 1s
Fix: Lifiting/Printing of global variables Automatic Branch Creation #655: Issue comment #383 (comment) created by NeoQuix
March 19, 2024 08:50 15s
March 19, 2024 08:50 15s
Fix: Lifiting/Printing of global variables Automatic Branch Creation #654: Pull request #383 closed by NeoQuix
March 19, 2024 08:50 15s refactor_global_variables
refactor_global_variables
March 19, 2024 08:50 15s
Fix Global Variables BNinja 4.0 Add PR to project #31: Pull request #401 opened by NeoQuix
March 19, 2024 08:50 14s refactor_global_variables_2
refactor_global_variables_2
March 19, 2024 08:50 14s
Fix Global Variables BNinja 4.0 Pipeline #1245: Pull request #401 opened by NeoQuix
March 19, 2024 08:50 3m 19s refactor_global_variables_2
refactor_global_variables_2
March 19, 2024 08:50 3m 19s
Fix: Lifiting/Printing of global variables Automatic Branch Creation #653: Issue comment #383 (comment) created by NeoQuix
March 19, 2024 08:46 15s
March 19, 2024 08:46 15s
Fix: Lifiting/Printing of global variables Pipeline #1244: Pull request #383 synchronize by NeoQuix
March 19, 2024 08:30 2m 17s refactor_global_variables
refactor_global_variables
March 19, 2024 08:30 2m 17s
Fix: Lifiting/Printing of global variables Pipeline #1243: Pull request #383 synchronize by NeoQuix
March 19, 2024 08:29 2m 6s refactor_global_variables
refactor_global_variables
March 19, 2024 08:29 2m 6s
Extended Pipeline Extended Pipeline #829: Scheduled
March 19, 2024 00:47 43m 36s main
main
March 19, 2024 00:47 43m 36s
[Condition Based Refinement] Runtime Improvements Pipeline #1242: Pull request #394 synchronize by ebehner
March 18, 2024 16:32 1m 49s issue-393-_Condition_Based_Refinement_Runtime_Improvements
issue-393-_Condition_Based_Refinement_Runtime_Improvements
March 18, 2024 16:32 1m 49s
Extended Pipeline Extended Pipeline #828: Scheduled
March 18, 2024 00:48 42m 50s main
main
March 18, 2024 00:48 42m 50s
Extended Pipeline Extended Pipeline #827: Scheduled
March 17, 2024 00:50 41m 38s main
main
March 17, 2024 00:50 41m 38s
Extended Pipeline Extended Pipeline #826: Scheduled
March 16, 2024 00:45 43m 54s main
main
March 16, 2024 00:45 43m 54s
Extended Pipeline Extended Pipeline #825: Scheduled
March 15, 2024 00:47 41m 53s main
main
March 15, 2024 00:47 41m 53s