Skip to content

Actions: microsoft/verona

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Multi-line comments should be BuildAndTest #56: Pull request #664 opened by mjp41
April 8, 2024 12:50 1m 9s mjp41:spec_syntax
mjp41:spec_syntax
April 8, 2024 12:50 1m 9s
Initial TOC draft for the language specification. (#653) BuildAndTest #55: Commit 6dd1ec8 pushed by mjp41
April 3, 2024 14:11 7m 0s master
master
April 3, 2024 14:11 7m 0s
pages build and deployment pages-build-deployment #77: by mjp41
April 3, 2024 14:11 39s master
master
April 3, 2024 14:11 39s
Update Trieste version. (#654) BuildAndTest #54: Commit da8383c pushed by mjp41
April 2, 2024 10:53 6m 37s master
master
April 2, 2024 10:53 6m 37s
pages build and deployment pages-build-deployment #76: by mjp41
April 2, 2024 10:52 46s master
master
April 2, 2024 10:52 46s
Update Trieste version. BuildAndTest #53: Pull request #654 opened by mjp41
April 2, 2024 10:15 6m 50s mjp41:trieste-update
mjp41:trieste-update
April 2, 2024 10:15 6m 50s
Initial TOC draft for the language specification. BuildAndTest #52: Pull request #653 synchronize by mjp41
April 2, 2024 10:00 1m 41s sylvanc-langspec
sylvanc-langspec
April 2, 2024 10:00 1m 41s
Initial TOC draft for the language specification. BuildAndTest #51: Pull request #653 opened by sylvanc
March 22, 2024 22:49 1m 2s sylvanc-langspec
sylvanc-langspec
March 22, 2024 22:49 1m 2s
Update CI workaround. (#650) BuildAndTest #47: Commit b8d1528 pushed by mjp41
January 2, 2024 10:43 6m 40s master
master
January 2, 2024 10:43 6m 40s
pages build and deployment pages-build-deployment #75: by mjp41
January 2, 2024 10:43 45s master
master
January 2, 2024 10:43 45s
Update CI workaround. BuildAndTest #46: Pull request #650 opened by mjp41
January 2, 2024 10:01 6m 50s mjp41:ciworkaround
mjp41:ciworkaround
January 2, 2024 10:01 6m 50s
Update to latest trieste version (#647) BuildAndTest #43: Commit 0cd9a3b pushed by mjp41
November 27, 2023 13:29 6m 35s master
master
November 27, 2023 13:29 6m 35s
pages build and deployment pages-build-deployment #74: by mjp41
November 27, 2023 13:29 47s master
master
November 27, 2023 13:29 47s
Update to latest trieste version BuildAndTest #42: Pull request #647 synchronize by mjp41
November 27, 2023 13:18 6m 28s mjp41:refactor-driver
mjp41:refactor-driver
November 27, 2023 13:18 6m 28s
Update to latest trieste version BuildAndTest #41: Pull request #647 synchronize by mjp41
November 27, 2023 13:12 8m 56s mjp41:refactor-driver
mjp41:refactor-driver
November 27, 2023 13:12 8m 56s
Update to latest trieste version BuildAndTest #40: Pull request #647 synchronize by mjp41
November 27, 2023 13:03 1m 39s mjp41:refactor-driver
mjp41:refactor-driver
November 27, 2023 13:03 1m 39s
Add dump of passes (removing stdlib) (#648) BuildAndTest #39: Commit d8d30ed pushed by mjp41
November 27, 2023 13:02 13m 34s master
master
November 27, 2023 13:02 13m 34s
pages build and deployment pages-build-deployment #73: by mjp41
November 27, 2023 13:02 54s master
master
November 27, 2023 13:02 54s
Add dump of passes (removing stdlib) BuildAndTest #38: Pull request #648 synchronize by mjp41
November 27, 2023 11:41 14m 44s mjp41:dump_passes
mjp41:dump_passes
November 27, 2023 11:41 14m 44s
Add dump of passes (removing stdlib) BuildAndTest #37: Pull request #648 opened by mjp41
November 27, 2023 11:32 13m 24s mjp41:dump_passes
mjp41:dump_passes
November 27, 2023 11:32 13m 24s
Update to latest trieste version BuildAndTest #36: Pull request #647 opened by mjp41
October 31, 2023 13:35 6m 32s mjp41:refactor-driver
mjp41:refactor-driver
October 31, 2023 13:35 6m 32s