Skip to content

Actions: microsoft/verona

BuildAndTest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial TOC draft for the language specification.
BuildAndTest #51: Pull request #653 opened by sylvanc
March 22, 2024 22:49 1m 2s 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
January 2, 2024 10:43 6m 40s
Update CI workaround.
BuildAndTest #46: Pull request #650 opened by mjp41
January 2, 2024 10:01 6m 50s 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
November 27, 2023 13:29 6m 35s
Update to latest trieste version
BuildAndTest #42: Pull request #647 synchronize by mjp41
November 27, 2023 13:18 6m 28s 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
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
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
November 27, 2023 13:02 13m 34s
Add dump of passes (removing stdlib)
BuildAndTest #38: Pull request #648 synchronize by mjp41
November 27, 2023 11:41 14m 44s 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
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
October 31, 2023 13:35 6m 32s
Reinstate old test suite (#645)
BuildAndTest #35: Commit 24aef09 pushed by mjp41
October 5, 2023 07:56 15m 18s master
October 5, 2023 07:56 15m 18s
Reinstate old test suite
BuildAndTest #34: Pull request #645 synchronize by mjp41
October 4, 2023 21:06 12m 11s mjp41:testsuite
October 4, 2023 21:06 12m 11s
Reinstate old test suite
BuildAndTest #33: Pull request #645 synchronize by mjp41
October 4, 2023 20:00 12m 51s mjp41:testsuite
October 4, 2023 20:00 12m 51s
Reinstate old test suite
BuildAndTest #32: Pull request #645 synchronize by mjp41
October 4, 2023 16:31 13m 36s mjp41:testsuite
October 4, 2023 16:31 13m 36s
Reinstate old test suite
BuildAndTest #31: Pull request #645 synchronize by mjp41
October 4, 2023 15:42 13m 39s mjp41:testsuite
October 4, 2023 15:42 13m 39s
Reinstate old test suite
BuildAndTest #30: Pull request #645 synchronize by mjp41
October 4, 2023 13:58 13m 47s mjp41:testsuite
October 4, 2023 13:58 13m 47s
Reinstate old test suite
BuildAndTest #29: Pull request #645 synchronize by mjp41
October 4, 2023 10:29 14m 56s mjp41:testsuite
October 4, 2023 10:29 14m 56s
Reinstate old test suite
BuildAndTest #28: Pull request #645 opened by mjp41
October 4, 2023 10:00 15m 5s mjp41:testsuite
October 4, 2023 10:00 15m 5s
Sanitizer (#644)
BuildAndTest #27: Commit 0c254c3 pushed by mjp41
October 3, 2023 15:25 14m 52s master
October 3, 2023 15:25 14m 52s
Sanitizer
BuildAndTest #26: Pull request #644 synchronize by mjp41
October 3, 2023 15:00 14m 28s mjp41:sanitizer
October 3, 2023 15:00 14m 28s
Sanitizer
BuildAndTest #25: Pull request #644 synchronize by mjp41
October 3, 2023 14:00 15m 1s mjp41:sanitizer
October 3, 2023 14:00 15m 1s
Sanitizer
BuildAndTest #24: Pull request #644 synchronize by mjp41
October 3, 2023 13:50 13m 5s mjp41:sanitizer
October 3, 2023 13:50 13m 5s
Sanitizer
BuildAndTest #23: Pull request #644 synchronize by mjp41
October 3, 2023 13:47 12m 50s mjp41:sanitizer
October 3, 2023 13:47 12m 50s
Sanitizer
BuildAndTest #22: Pull request #644 opened by mjp41
October 3, 2023 13:46 2m 15s mjp41:sanitizer
October 3, 2023 13:46 2m 15s