Skip to content

Actions: vellvm/ctrees

Actions

Build ctrees under nix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-build.yml
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

most of a port of ITrees mrec to CTrees Build ctrees under nix #16: Commit 6b27740 pushed by nchappe
2m 1s dev
dev
2m 1s
change the definition of MonadBr to match MonadTrigger Build ctrees under nix #15: Commit 2a7b3b8 pushed by nchappe
4m 48s dev
dev
4m 48s
Mrec Build ctrees under nix #14: Pull request #37 opened by Zdancewic
3m 33s mrec
mrec
3m 33s
most of a port of ITrees mrec to CTrees Build ctrees under nix #13: Commit 6db7489 pushed by Zdancewic
2m 3s mrec
mrec
2m 3s
change the definition of MonadBr to match MonadTrigger Build ctrees under nix #12: Pull request #36 opened by Zdancewic
3m 30s mbranch-args
mbranch-args
3m 30s
change the definition of MonadBr to match MonadTrigger Build ctrees under nix #11: Commit 9383682 pushed by Zdancewic
4m 25s mbranch-args
mbranch-args
4m 25s
Update Docker CI build for Rocq 9.0. Build ctrees under nix #10: Pull request #35 opened by Chobbes
3m 13s Chobbes:dev
Chobbes:dev
3m 13s
Splitting system calls into two transitions Build ctrees under nix #9: Pull request #31 synchronize by Chobbes
3m 36s askrcv
askrcv
3m 36s
Merge branch 'dev' into askrcv Build ctrees under nix #8: Commit 2c6b639 pushed by Chobbes
7m 7s askrcv
askrcv
7m 7s
Update flake.nix Build ctrees under nix #7: Commit 04d0326 pushed by nchappe
3m 21s dev
dev
3m 21s
Update dune-project Build ctrees under nix #6: Commit 29a153d pushed by nchappe
4m 38s dev
dev
4m 38s
Merge branch 'rocq9.0' into dev Build ctrees under nix #5: Commit 6a3c068 pushed by nchappe
3m 37s dev
dev
3m 37s
Merge pull request #33 from vellvm/calvin-rocq9.0 Build ctrees under nix #4: Commit a06c77b pushed by YaZko
3m 25s rocq9.0
rocq9.0
3m 25s
Merge pull request #34 from Chobbes/nix-ci Build ctrees under nix #3: Commit e1800bc pushed by YaZko
3m 38s rocq9.0
rocq9.0
3m 38s
Nix build + CI Build ctrees under nix #2: Pull request #34 synchronize by Chobbes
3m 43s Chobbes:nix-ci
Chobbes:nix-ci
3m 43s
Nix build + CI Build ctrees under nix #1: Pull request #34 opened by Chobbes
3m 50s Chobbes:nix-ci
Chobbes:nix-ci
3m 50s