Skip to content

Actions: utwente-fmt/vercors

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,765 workflow runs
1,765 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate Test Report Generate Test Report #233: completed by RobertMensing
January 10, 2025 14:16 34s
January 10, 2025 14:16 34s
Generate Test Report Generate Test Report #232: completed by RobertMensing
January 10, 2025 13:52 2s
January 10, 2025 13:52 2s
Support specification-constructs in Pallas specifications Run ScalaTest #2964: Pull request #1289 synchronize by RobertMensing
January 10, 2025 13:52 3s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 13:52 3s
Cleanup wrapper inlining Run ScalaTest #2963: Commit 913ffb1 pushed by RobertMensing
January 10, 2025 13:52 24m 2s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 13:52 24m 2s
Generate Test Report Generate Test Report #231: completed by OmerSakar
January 10, 2025 13:00 36s
January 10, 2025 13:00 36s
Rewrote the SYCL support to fix scoping issues. Not entirely finished… Run ScalaTest #2962: Commit 0b9636a pushed by OmerSakar
January 10, 2025 12:34 26m 38s sycl-patch
sycl-patch
January 10, 2025 12:34 26m 38s
Generate Test Report Generate Test Report #230: completed by RobertMensing
January 10, 2025 10:36 26s
January 10, 2025 10:36 26s
Generate Test Report Generate Test Report #229: completed by RobertMensing
January 10, 2025 10:16 2s
January 10, 2025 10:16 2s
Support specification-constructs in Pallas specifications Run ScalaTest #2961: Pull request #1289 synchronize by RobertMensing
January 10, 2025 10:16 4s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 10:16 4s
Tests for Pallas \result Run ScalaTest #2960: Commit d24c531 pushed by RobertMensing
January 10, 2025 10:16 20m 2s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 10:16 20m 2s
Generate Test Report Generate Test Report #228: completed by RobertMensing
January 10, 2025 09:12 52s
January 10, 2025 09:12 52s
Generate Test Report Generate Test Report #227: completed by RobertMensing
January 10, 2025 08:52 23s
January 10, 2025 08:52 23s
Generate Test Report Generate Test Report #226: completed by RobertMensing
January 10, 2025 08:44 2s
January 10, 2025 08:44 2s
Support specification-constructs in Pallas specifications Run ScalaTest #2959: Pull request #1289 synchronize by RobertMensing
January 10, 2025 08:44 3s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 08:44 3s
Generate permissions for structs that are returned in an sret-argument. Run ScalaTest #2958: Commit ccbf937 pushed by RobertMensing
January 10, 2025 08:44 27m 56s integrate-llvm-spec-translation
integrate-llvm-spec-translation
January 10, 2025 08:44 27m 56s
Generate permissions for structs that are returned in an sret-argument. Run ScalaTest #2957: Commit ccbf937 pushed by RobertMensing
January 10, 2025 08:31 21m 20s InlinePallasContracts
InlinePallasContracts
January 10, 2025 08:31 21m 20s
Generate Test Report Generate Test Report #225: completed by RobertMensing
January 9, 2025 11:50 26s
January 9, 2025 11:50 26s
Generate Test Report Generate Test Report #224: completed by RobertMensing
January 9, 2025 11:28 1s
January 9, 2025 11:28 1s
Merge remote-tracking branch 'origin/dev' into InlinePallasContracts Run ScalaTest #2956: Commit 9677586 pushed by RobertMensing
January 9, 2025 11:28 22m 19s InlinePallasContracts
InlinePallasContracts
January 9, 2025 11:28 22m 19s
Added missing variable substitution when inlining pallas wrappers Run ScalaTest #2955: Commit dd8e6a1 pushed by RobertMensing
January 9, 2025 11:14 14m 17s InlinePallasContracts
InlinePallasContracts
January 9, 2025 11:14 14m 17s
Generate Test Report Generate Test Report #223: completed by RobertMensing
January 7, 2025 17:08 27s
January 7, 2025 17:08 27s
First draft for inlining pallas wrappers Run ScalaTest #2954: Commit 828e10a pushed by RobertMensing
January 7, 2025 16:43 25m 37s InlinePallasContracts
InlinePallasContracts
January 7, 2025 16:43 25m 37s
Generate Test Report Generate Test Report #222: completed by bobismijnnaam
December 20, 2024 16:34 25s
December 20, 2024 16:34 25s
Starting with encoding endpoint families! Run ScalaTest #2953: Commit f82ebb2 pushed by bobismijnnaam
December 20, 2024 16:09 25m 25s veymont-parameterization-syntax
veymont-parameterization-syntax
December 20, 2024 16:09 25m 25s
Generate Test Report Generate Test Report #221: completed by bobismijnnaam
December 20, 2024 15:23 19s
December 20, 2024 15:23 19s