Skip to content

Actions: microsoft/qsharp

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,117 workflow run results
12,117 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Benchmark Reports
Benchmark Reports #395: Merge group checks requested
July 29, 2024 17:27 1m 13s
July 29, 2024 17:27 1m 13s
DevSkim
DevSkim #7728: Merge group checks requested
July 29, 2024 17:27 40s
July 29, 2024 17:27 40s
Organize standard library code; add files; add author and license
Benchmark Reports #393: Pull request #1801 ready_for_review by sezna
July 29, 2024 12:44 12m 24s alex/organize_std
July 29, 2024 12:44 12m 24s
Organize standard library code; add files; add author and license
CI Build and Test #8060: Pull request #1801 synchronize by sezna
July 29, 2024 11:56 10m 6s alex/organize_std
July 29, 2024 11:56 10m 6s
Organize standard library code; add files; add author and license
Benchmark Reports #392: Pull request #1801 synchronize by sezna
July 29, 2024 11:56 2s alex/organize_std
July 29, 2024 11:56 2s
Organize standard library code; add files; add author and license
CI Build and Test #8059: Pull request #1801 opened by sezna
July 29, 2024 11:53 2m 58s alex/organize_std
July 29, 2024 11:53 2m 58s
Support themes in kata previews
CI Build and Test #8058: Pull request #1798 synchronize by billti
July 28, 2024 18:59 9m 30s billti/themes
July 28, 2024 18:59 9m 30s
Support themes in kata previews
Benchmark Reports #390: Pull request #1798 synchronize by billti
July 28, 2024 18:59 10m 26s billti/themes
July 28, 2024 18:59 10m 26s
Support themes in kata previews
DevSkim #7724: Pull request #1798 synchronize by billti
July 28, 2024 18:59 44s billti/themes
July 28, 2024 18:59 44s
Fuzz
fuzz #403: Scheduled
July 28, 2024 11:26 2h 4m 51s main
July 28, 2024 11:26 2h 4m 51s
DevSkim
DevSkim #7721: Scheduled
July 27, 2024 09:03 38s main
July 27, 2024 09:03 38s
Avoid errors in read-only GitHub sources (#1787)
Publish playground #1064: Commit 2a42bd0 pushed by github-merge-queue bot
July 27, 2024 01:10 3m 6s main
July 27, 2024 01:10 3m 6s
Fuzz
fuzz #402: Commit 2a42bd0 pushed by github-merge-queue bot
July 27, 2024 01:10 2h 5m 0s main
July 27, 2024 01:10 2h 5m 0s
CI Build and Test
CI Build and Test #8055: Merge group checks requested
July 27, 2024 01:00 10m 24s
July 27, 2024 01:00 10m 24s
DevSkim
DevSkim #7720: Merge group checks requested
July 27, 2024 01:00 40s
July 27, 2024 01:00 40s
Benchmark Reports
Benchmark Reports #387: Merge group checks requested
July 27, 2024 01:00 1m 18s
July 27, 2024 01:00 1m 18s
Support themes in kata previews
DevSkim #7719: Pull request #1798 synchronize by billti
July 26, 2024 23:12 42s billti/themes
July 26, 2024 23:12 42s
Support themes in kata previews
Benchmark Reports #386: Pull request #1798 synchronize by billti
July 26, 2024 23:12 10m 21s billti/themes
July 26, 2024 23:12 10m 21s
Support themes in kata previews
CI Build and Test #8054: Pull request #1798 synchronize by billti
July 26, 2024 23:12 9m 44s billti/themes
July 26, 2024 23:12 9m 44s