Skip to content

Actions: logsem/cerisier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
doc(readme): more fine-grained correspondence table Figure -> Rocq de… Test compilation #47: Commit 57ed584 pushed by JuneRousseau
8m 31s main
main
8m 31s
doc(readme): correspondence axioms hash_cap.* in the paper Test compilation #46: Commit 05773d9 pushed by JuneRousseau
11m 50s main
main
11m 50s
Dockerfile -> COPY instead of git clone. Build the image instead of… Test compilation #45: Commit e1a462d pushed by JuneRousseau
8m 30s main
main
8m 30s
Remove unused disabled-qed.sh script Test compilation #44: Commit 205172d pushed by JuneRousseau
8m 39s main
main
8m 39s
Remove the unused extra/ directory Test compilation #43: Commit 3bc8e72 pushed by JuneRousseau
1m 51s main
main
1m 51s
Fix the dependencies for manual install Test compilation #42: Commit 40e2ec9 pushed by JuneRousseau
13m 21s main
main
13m 21s
More docs Test compilation #41: Commit 0f2bef2 pushed by decrn
33m 45s main
main
33m 45s
Nits and point about assumptions in claim 1 Test compilation #40: Commit 67b44fa pushed by decrn
6m 47s main
main
6m 47s
Minor Test compilation #39: Commit 20aa39b pushed by decrn
8m 14s main
main
8m 14s
Minor shuffle Test compilation #38: Commit f1d64e4 pushed by decrn
32s main
main
32s
Artifact faithful to the paper section Test compilation #37: Commit ecede42 pushed by JuneRousseau
1m 22s main
main
1m 22s
More docs Test compilation #36: Commit 5b3c6c3 pushed by decrn
3m 16s main
main
3m 16s
Some more docs Test compilation #35: Commit 0f20bef pushed by decrn
9m 47s main
main
9m 47s
Update README.md with Kick-the-tyres instructions (WIP) Test compilation #34: Commit 286cb41 pushed by decrn
31m 25s main
main
31m 25s
README: use -j1 if less then 16Gb of RAM Test compilation #33: Commit 27db746 pushed by JuneRousseau
31m 22s main
main
31m 22s
pages build and deployment pages-build-deployment #7: by github-pages Bot
1m 3s gh-pages
gh-pages
1m 3s
README: add recommended hardware + compile time Test compilation #32: Commit d44075a pushed by JuneRousseau
17m 47s main
main
17m 47s
Fix Makefile Test compilation #31: Commit 94d8ea7 pushed by JuneRousseau
11m 16s main
main
11m 16s
Add Dockerfile Test compilation #30: Commit 953a62b pushed by JuneRousseau
31m 16s pldi26-ae
pldi26-ae
31m 16s
Add Dockerfile Test compilation #29: Commit 953a62b pushed by decrn
31m 57s main
main
31m 57s
Test compilation Test compilation #28: by JuneRousseau
31m 55s main
main
31m 55s
Complete section comparison paper / mechanization Test compilation #27: Commit 446ace3 pushed by JuneRousseau
1m 29s main
main
1m 29s
pages build and deployment pages-build-deployment #6: by github-pages Bot
26s gh-pages
gh-pages
26s
fix: Rename fundamental' -> cerisier_universal_contract in `assum… Test compilation #26: Commit 000ca6d pushed by JuneRousseau
30m 46s main
main
30m 46s
WIP readme Test compilation #25: Commit bbaddcb pushed by JuneRousseau
33m 16s main
main
33m 16s