Skip to content

Actions: weakmemory/xmm

Actions

Nix CI for bundle 8.18

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.18.yml
688 workflow runs
688 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Forgotten Qed Nix CI for bundle 8.18 #723: Commit 32be585 pushed by InnocentusLime
February 1, 2025 22:59 8m 50s dev-rex-admits
dev-rex-admits
February 1, 2025 22:59 8m 50s
Make the file compile Nix CI for bundle 8.18 #722: Commit 2dd7632 pushed by InnocentusLime
January 29, 2025 16:03 8m 31s dev-rex-admits
dev-rex-admits
January 29, 2025 16:03 8m 31s
Merge pull request #28 from weakmemory/dev-admit-chores Nix CI for bundle 8.18 #721: Commit 85f3aab pushed by InnocentusLime
January 28, 2025 17:56 7m 31s main
main
January 28, 2025 17:56 7m 31s
Closure of admits Nix CI for bundle 8.18 #720: Pull request #28 opened by InnocentusLime
January 28, 2025 17:46 7m 41s
January 28, 2025 17:46 7m 41s
No admits in ExecB Nix CI for bundle 8.18 #719: Commit 3f0efec pushed by InnocentusLime
January 28, 2025 17:35 7m 55s dev-admit-chores
dev-admit-chores
January 28, 2025 17:35 7m 55s
Add the master theorem specification Nix CI for bundle 8.18 #718: Commit b89bec1 pushed by InnocentusLime
January 28, 2025 14:38 9m 17s main
main
January 28, 2025 14:38 9m 17s
Detail Tracking Nix CI for bundle 8.18 #717: Commit 89c3aef pushed by InnocentusLime
January 28, 2025 14:35 9m 22s main
main
January 28, 2025 14:35 9m 22s
Update tracking Nix CI for bundle 8.18 #716: Commit 0b3c0cc pushed by InnocentusLime
January 28, 2025 14:19 9m 19s main
main
January 28, 2025 14:19 9m 19s
Fixed more typos, MELESHCHENKO_THESIS.md. Nix CI for bundle 8.18 #715: Commit effb311 pushed by anlun
January 28, 2025 14:14 9m 7s main
main
January 28, 2025 14:14 9m 7s
Fixed more typos in MELESHCHENKO_THESIS.md. Nix CI for bundle 8.18 #714: Commit 612dadc pushed by anlun
January 28, 2025 14:08 9m 23s main
main
January 28, 2025 14:08 9m 23s
Fixed typo in Innokentii's surname. Nix CI for bundle 8.18 #713: Commit eb41e62 pushed by anlun
January 28, 2025 14:01 9m 13s main
main
January 28, 2025 14:01 9m 13s
Close imm graph cons admit Nix CI for bundle 8.18 #712: Commit 79066ff pushed by InnocentusLime
January 28, 2025 13:43 8m 3s dev-admit-chores
dev-admit-chores
January 28, 2025 13:43 8m 3s
Close exa pred admit Nix CI for bundle 8.18 #711: Commit a4dd07f pushed by InnocentusLime
January 28, 2025 11:33 7m 35s dev-admit-chores
dev-admit-chores
January 28, 2025 11:33 7m 35s
Close the immsb lemma Nix CI for bundle 8.18 #710: Commit 93a6bc8 pushed by InnocentusLime
January 25, 2025 19:27 8m 23s dev-admit-chores
dev-admit-chores
January 25, 2025 19:27 8m 23s
Close all ExecA admits Nix CI for bundle 8.18 #709: Commit c36f7ed pushed by InnocentusLime
January 25, 2025 14:57 8m 5s dev-admit-chores
dev-admit-chores
January 25, 2025 14:57 8m 5s
Take out the consistency proof Nix CI for bundle 8.18 #708: Commit 2a74848 pushed by InnocentusLime
January 24, 2025 14:43 8m 48s dev-admit-chores
dev-admit-chores
January 24, 2025 14:43 8m 48s
Add the thesis index Nix CI for bundle 8.18 #707: Commit 53a2c8f pushed by InnocentusLime
January 22, 2025 22:20 9m 16s main
main
January 22, 2025 22:20 9m 16s
Qed NaNb Nix CI for bundle 8.18 #706: Commit 2cd9d47 pushed by InnocentusLime
January 22, 2025 16:40 9m 26s dev-admit-chores
dev-admit-chores
January 22, 2025 16:40 9m 26s
Merge pull request #27 from weakmemory/dev-theorem5 Nix CI for bundle 8.18 #705: Commit 872e3dd pushed by InnocentusLime
January 22, 2025 11:44 9m 12s main
main
January 22, 2025 11:44 9m 12s
Theorem 5 work Nix CI for bundle 8.18 #704: Pull request #27 opened by InnocentusLime
January 22, 2025 11:28 9m 2s
January 22, 2025 11:28 9m 2s
Remove remnants of sc constraints Nix CI for bundle 8.18 #703: Commit ada7613 pushed by InnocentusLime
January 22, 2025 11:13 9m 39s dev-theorem5
dev-theorem5
January 22, 2025 11:13 9m 39s
Close sb-cloc admit in ExecA Nix CI for bundle 8.18 #702: Commit 6d9c430 pushed by InnocentusLime
January 21, 2025 22:03 9m 16s dev-theorem5
dev-theorem5
January 21, 2025 22:03 9m 16s
Same behavior proof Nix CI for bundle 8.18 #701: Commit 49fcb5a pushed by InnocentusLime
January 20, 2025 07:59 11m 50s dev-theorem5
dev-theorem5
January 20, 2025 07:59 11m 50s
Behaviour definition Nix CI for bundle 8.18 #700: Commit 0c651d9 pushed by InnocentusLime
January 19, 2025 23:26 12m 7s dev-theorem5
dev-theorem5
January 19, 2025 23:26 12m 7s
Ban tid_init Nix CI for bundle 8.18 #699: Commit 5952bd0 pushed by InnocentusLime
January 18, 2025 22:24 11m 53s dev-theorem5
dev-theorem5
January 18, 2025 22:24 11m 53s