Skip to content

Actions: titzer/virgil

Actions

Continuous Integration

Actions

Loading...

Show workflow options

Create status badge

ci.yml
513 workflow runs
513 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[test] Add tests for failing unboxing Continuous Integration #670: Commit 7c7d924 pushed by titzer
June 3, 2024 20:59 24m 25s master
master
June 3, 2024 20:59 24m 25s
[unboxing] Rename Scalar.size to Scalar.width Continuous Integration #669: Commit 9f39235 pushed by titzer
June 3, 2024 17:42 26m 20s master
master
June 3, 2024 17:42 26m 20s
[ssa] Minor performance tweaks to SsaInterpreter Continuous Integration #668: Commit 86969a9 pushed by titzer
June 3, 2024 17:25 28m 3s master
master
June 3, 2024 17:25 28m 3s
[test] Add tests for up to 4 integer arguments Continuous Integration #667: Commit 6d649aa pushed by titzer
June 3, 2024 04:29 24m 58s master
master
June 3, 2024 04:29 24m 58s
[ssa] Improve performance of SsaInterpreter Continuous Integration #666: Commit fd94fc6 pushed by titzer
June 3, 2024 02:24 3m 27s master
master
June 3, 2024 02:24 3m 27s
Use SsaBuilder.splitForIfCascade in some places in MachLowering Continuous Integration #665: Commit 1687b3a pushed by titzer
June 3, 2024 00:48 4m 10s master
master
June 3, 2024 00:48 4m 10s
Use SsaIfCascade for range promotion nullcheck Continuous Integration #664: Commit e7bc735 pushed by titzer
June 2, 2024 22:42 3m 28s master
master
June 2, 2024 22:42 3m 28s
Add SsaBuilder.addSelect to simplify pure diamonds Continuous Integration #663: Commit 9d8ce54 pushed by titzer
June 2, 2024 19:53 3m 23s master
master
June 2, 2024 19:53 3m 23s
[vscode] update virgil-vscode at VS Code Marketplace (#250) Continuous Integration #662: Commit 28b1b8c pushed by titzer
May 31, 2024 14:25 3m 28s master
master
May 31, 2024 14:25 3m 28s
update virgil-vscode at VS Code Marketplace Continuous Integration #661: Pull request #250 synchronize by ahuoguo
May 30, 2024 20:37 3m 30s ahuoguo:master
ahuoguo:master
May 30, 2024 20:37 3m 30s
update virgil-vscode at VS Code Marketplace Continuous Integration #660: Pull request #250 synchronize by ahuoguo
May 30, 2024 17:51 3m 56s ahuoguo:master
ahuoguo:master
May 30, 2024 17:51 3m 56s
update virgil-vscode at VS Code Marketplace Continuous Integration #659: Pull request #250 opened by ahuoguo
May 30, 2024 14:11 4m 21s ahuoguo:master
ahuoguo:master
May 30, 2024 14:11 4m 21s
Update Layouts.md Continuous Integration #658: Commit 0754df3 pushed by titzer
May 28, 2024 16:46 3m 53s master
master
May 28, 2024 16:46 3m 53s
[debug] Add list command which shows files in the program Continuous Integration #657: Commit 66f09c0 pushed by titzer
May 28, 2024 14:53 4m 10s master
master
May 28, 2024 14:53 4m 10s
[debug] Improvements and bugfixes to debugger Continuous Integration #656: Commit a89ce59 pushed by titzer
May 28, 2024 14:44 3m 44s master
master
May 28, 2024 14:44 3m 44s
Fix link to paper Continuous Integration #655: Commit 14af3b3 pushed by titzer
May 26, 2024 14:35 3m 27s master
master
May 26, 2024 14:35 3m 27s
[doc] Update aeneas-issues.txt Continuous Integration #654: Commit 601cc94 pushed by titzer
May 24, 2024 14:58 3m 45s master
master
May 24, 2024 14:58 3m 45s
[system] Implement System.{read,write} partial success properly Continuous Integration #653: Commit b67e228 pushed by titzer
May 22, 2024 21:25 3m 32s master
master
May 22, 2024 21:25 3m 32s
[test] Refactor enumeration of io targets to allow multiple Wasm targets Continuous Integration #652: Commit 8cb3a44 pushed by titzer
May 21, 2024 21:07 3m 44s master
master
May 21, 2024 21:07 3m 44s
[doc] Update script names for wasm-wave target Continuous Integration #651: Commit 692b9f5 pushed by titzer
May 21, 2024 20:02 28m 7s master
master
May 21, 2024 20:02 28m 7s
Fix bug in match verification of data types Continuous Integration #650: Commit 53384a5 pushed by titzer
May 21, 2024 19:56 28m 21s master
master
May 21, 2024 19:56 28m 21s
[arm64] Minor formatting cleanups Continuous Integration #649: Commit 455e112 pushed by titzer
May 21, 2024 18:43 25m 23s master
master
May 21, 2024 18:43 25m 23s
[wasm] Rename wave,wasi,wali targets to wasm-wave,wasm-wasi1,wasm-linux Continuous Integration #648: Commit 62f0e43 pushed by titzer
May 21, 2024 18:20 25m 48s master
master
May 21, 2024 18:20 25m 48s
[arm64] Implement test generation and codegen first operations (#229) Continuous Integration #647: Commit 4bc627e pushed by titzer
May 19, 2024 18:24 24m 33s master
master
May 19, 2024 18:24 24m 33s
Yonah arm64 backend updates Continuous Integration #646: Pull request #229 synchronize by YonahGoldberg
May 17, 2024 21:30 45m 21s YonahGoldberg:yonah-arm64-backend-updates
YonahGoldberg:yonah-arm64-backend-updates
May 17, 2024 21:30 45m 21s