Skip to content

Actions: emsec/hal

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #538 from emsec/feature/toggle_nets Ubuntu 20.04 #1545: Commit 0cec8c1 pushed by joern274
November 17, 2023 21:02 37m 4s master
master
November 17, 2023 21:02 37m 4s
Merge pull request #538 from emsec/feature/toggle_nets Ubuntu 22.04 #824: Commit 0cec8c1 pushed by joern274
November 17, 2023 21:02 35m 53s master
master
November 17, 2023 21:02 35m 53s
Merge pull request #538 from emsec/feature/toggle_nets macOS #2362: Commit 0cec8c1 pushed by joern274
November 17, 2023 21:02 45m 57s master
master
November 17, 2023 21:02 45m 57s
Fixed minor layout bug found during module tree branch test Ubuntu 22.04 #823: Commit cd7d941 pushed by joern274
November 17, 2023 19:52 35m 44s feature/toggle_nets
feature/toggle_nets
November 17, 2023 19:52 35m 44s
Fixed minor layout bug found during module tree branch test Build Documentation #823: Commit cd7d941 pushed by joern274
November 17, 2023 19:52 36m 12s feature/toggle_nets
feature/toggle_nets
November 17, 2023 19:52 36m 12s
Fixed minor layout bug found during module tree branch test Ubuntu 20.04 #1544: Commit cd7d941 pushed by joern274
November 17, 2023 19:52 36m 24s feature/toggle_nets
feature/toggle_nets
November 17, 2023 19:52 36m 24s
Fixed minor layout bug found during module tree branch test macOS #2361: Commit cd7d941 pushed by joern274
November 17, 2023 19:52 38m 49s feature/toggle_nets
feature/toggle_nets
November 17, 2023 19:52 38m 49s
pages build and deployment pages-build-deployment #263: by github-pages bot
November 17, 2023 17:36 1m 23s gh-pages
gh-pages
November 17, 2023 17:36 1m 23s
bugfix: check for missing junction since we omit trivial ones Ubuntu 20.04 #1543: Commit 4efe0a6 pushed by joern274
November 17, 2023 16:59 36m 20s master
master
November 17, 2023 16:59 36m 20s
bugfix: check for missing junction since we omit trivial ones Ubuntu 22.04 #822: Commit 4efe0a6 pushed by joern274
November 17, 2023 16:59 35m 16s master
master
November 17, 2023 16:59 35m 16s
bugfix: check for missing junction since we omit trivial ones Build Documentation #822: Commit 4efe0a6 pushed by joern274
November 17, 2023 16:59 36m 31s master
master
November 17, 2023 16:59 36m 31s
bugfix: check for missing junction since we omit trivial ones macOS #2360: Commit 4efe0a6 pushed by joern274
November 17, 2023 16:59 1h 2m 22s master
master
November 17, 2023 16:59 1h 2m 22s
pages build and deployment pages-build-deployment #262: by github-pages bot
November 17, 2023 13:27 1m 33s gh-pages
gh-pages
November 17, 2023 13:27 1m 33s
bugfix: close gaps for 'trivial' junctions Ubuntu 22.04 #821: Commit 1776c0d pushed by joern274
November 17, 2023 12:49 37m 11s master
master
November 17, 2023 12:49 37m 11s
bugfix: close gaps for 'trivial' junctions Build Documentation #821: Commit 1776c0d pushed by joern274
November 17, 2023 12:49 37m 43s master
master
November 17, 2023 12:49 37m 43s
bugfix: close gaps for 'trivial' junctions Ubuntu 20.04 #1542: Commit 1776c0d pushed by joern274
November 17, 2023 12:49 37m 57s master
master
November 17, 2023 12:49 37m 57s
bugfix: close gaps for 'trivial' junctions macOS #2359: Commit 1776c0d pushed by joern274
November 17, 2023 12:49 50m 58s master
master
November 17, 2023 12:49 50m 58s
Added filtered Selection to Grouping within the selection_details_wid… Ubuntu 20.04 #1541: Commit 0ee7cbc pushed by HerrKermet
November 16, 2023 17:17 38m 19s feature/searchBar
feature/searchBar
November 16, 2023 17:17 38m 19s
Added filtered Selection to Grouping within the selection_details_wid… Build Documentation #820: Commit 0ee7cbc pushed by HerrKermet
November 16, 2023 17:17 40m 8s feature/searchBar
feature/searchBar
November 16, 2023 17:17 40m 8s
Added filtered Selection to Grouping within the selection_details_wid… Ubuntu 22.04 #820: Commit 0ee7cbc pushed by HerrKermet
November 16, 2023 17:17 33m 46s feature/searchBar
feature/searchBar
November 16, 2023 17:17 33m 46s
Added filtered Selection to Grouping within the selection_details_wid… macOS #2358: Commit 0ee7cbc pushed by HerrKermet
November 16, 2023 17:17 1h 2m 55s feature/searchBar
feature/searchBar
November 16, 2023 17:17 1h 2m 55s
Adjusted column spacing in ModuleWidget Ubuntu 22.04 #819: Commit ebe1a77 pushed by Skaleee
November 16, 2023 14:38 36m 25s feature/toggle_nets
feature/toggle_nets
November 16, 2023 14:38 36m 25s
Adjusted column spacing in ModuleWidget Ubuntu 20.04 #1540: Commit ebe1a77 pushed by Skaleee
November 16, 2023 14:38 38m 36s feature/toggle_nets
feature/toggle_nets
November 16, 2023 14:38 38m 36s
Adjusted column spacing in ModuleWidget Build Documentation #819: Commit ebe1a77 pushed by Skaleee
November 16, 2023 14:38 36m 18s feature/toggle_nets
feature/toggle_nets
November 16, 2023 14:38 36m 18s
Adjusted column spacing in ModuleWidget macOS #2357: Commit ebe1a77 pushed by Skaleee
November 16, 2023 14:38 1h 11m 20s feature/toggle_nets
feature/toggle_nets
November 16, 2023 14:38 1h 11m 20s