Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,307 workflow runs
2,307 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Translate promoted constants inline Build and test #2242: Pull request #669 synchronize by Nadrieril
April 25, 2025 09:52 9m 54s Nadrieril:promoted-defid
Nadrieril:promoted-defid
April 25, 2025 09:52 9m 54s
Translate promoted constants inline Build and test #2241: Pull request #669 opened by Nadrieril
April 25, 2025 09:50 2m 8s Nadrieril:promoted-defid
Nadrieril:promoted-defid
April 25, 2025 09:50 2m 8s
Merge pull request #668 from Nadrieril/distinguish-statics Build and test #2240: Commit 9d99eaa pushed by Nadrieril
April 25, 2025 09:28 5m 33s main
main
April 25, 2025 09:28 5m 33s
Merge pull request #668 from Nadrieril/distinguish-statics Deploy Doc #160: Commit 9d99eaa pushed by Nadrieril
April 25, 2025 09:28 2m 27s main
main
April 25, 2025 09:28 2m 27s
Distinguish consts from statics Build and test #2239: Pull request #668 opened by Nadrieril
April 25, 2025 09:14 11m 12s Nadrieril:distinguish-statics
Nadrieril:distinguish-statics
April 25, 2025 09:14 11m 12s
Merge pull request #667 from Nadrieril/itemtransctx Deploy Doc #159: Commit 4df21ec pushed by Nadrieril
April 24, 2025 12:19 2m 14s main
main
April 24, 2025 12:19 2m 14s
Merge pull request #667 from Nadrieril/itemtransctx Build and test #2238: Commit 4df21ec pushed by Nadrieril
April 24, 2025 12:19 5m 30s main
main
April 24, 2025 12:19 5m 30s
Separate the body-specific and item-specific translation contexts Build and test #2237: Pull request #667 opened by Nadrieril
April 24, 2025 12:09 9m 38s Nadrieril:itemtransctx
Nadrieril:itemtransctx
April 24, 2025 12:09 9m 38s
Merge pull request #666 from Nadrieril/prepare_promoted Build and test #2236: Commit 61c6e31 pushed by Nadrieril
April 23, 2025 15:33 5m 34s main
main
April 23, 2025 15:33 5m 34s
Merge pull request #666 from Nadrieril/prepare_promoted Deploy Doc #158: Commit 61c6e31 pushed by Nadrieril
April 23, 2025 15:33 2m 14s main
main
April 23, 2025 15:33 2m 14s
Cleanup body translation Build and test #2235: Pull request #666 opened by Nadrieril
April 23, 2025 15:21 11m 2s Nadrieril:prepare_promoted
Nadrieril:prepare_promoted
April 23, 2025 15:21 11m 2s
Merge pull request #663 from N1ark/ml-const-chars Build and test #2234: Commit 39edf8d pushed by github-merge-queue bot
April 23, 2025 14:06 1m 20s main
main
April 23, 2025 14:06 1m 20s
Merge pull request #663 from N1ark/ml-const-chars Deploy Doc #157: Commit 39edf8d pushed by github-merge-queue bot
April 23, 2025 14:06 2m 55s main
main
April 23, 2025 14:06 2m 55s
Build and test Build and test #2233: Merge group checks requested
April 23, 2025 14:00 5m 31s
April 23, 2025 14:00 5m 31s
Fix OCaml chars Build and test #2232: Pull request #663 synchronize by N1ark
April 23, 2025 13:49 11m 10s N1ark:ml-const-chars
N1ark:ml-const-chars
April 23, 2025 13:49 11m 10s
Fix OCaml chars Build and test #2231: Pull request #663 synchronize by N1ark
April 23, 2025 13:48 1m 4s N1ark:ml-const-chars
N1ark:ml-const-chars
April 23, 2025 13:48 1m 4s
Merge pull request #661 from N1ark/storage-live Build and test #2230: Commit 1d0390b pushed by github-merge-queue bot
April 23, 2025 13:44 4m 58s main
main
April 23, 2025 13:44 4m 58s
Merge pull request #661 from N1ark/storage-live Deploy Doc #156: Commit 1d0390b pushed by github-merge-queue bot
April 23, 2025 13:44 2m 19s main
main
April 23, 2025 13:44 2m 19s
Build and test Build and test #2229: Merge group checks requested
April 23, 2025 13:38 5m 36s
April 23, 2025 13:38 5m 36s
Add missing StorageLives Build and test #2228: Pull request #661 synchronize by N1ark
April 23, 2025 13:31 7m 26s N1ark:storage-live
N1ark:storage-live
April 23, 2025 13:31 7m 26s
Add missing StorageLives Build and test #2227: Pull request #661 synchronize by N1ark
April 23, 2025 13:26 4m 22s N1ark:storage-live
N1ark:storage-live
April 23, 2025 13:26 4m 22s
Add missing StorageLives Build and test #2226: Pull request #661 synchronize by N1ark
April 23, 2025 12:57 10m 57s N1ark:storage-live
N1ark:storage-live
April 23, 2025 12:57 10m 57s
Add missing StorageLives Build and test #2225: Pull request #661 reopened by Nadrieril
April 23, 2025 12:19 2m 31s N1ark:storage-live
N1ark:storage-live
April 23, 2025 12:19 2m 31s
Merge pull request #662 from N1ark/opaque-consts Deploy Doc #155: Commit 9d1300c pushed by github-merge-queue bot
April 23, 2025 12:17 2m 12s main
main
April 23, 2025 12:17 2m 12s
Merge pull request #662 from N1ark/opaque-consts Build and test #2224: Commit 9d1300c pushed by github-merge-queue bot
April 23, 2025 12:17 1m 12s main
main
April 23, 2025 12:17 1m 12s