Skip to content

Actions: MetaRocq/rocq-verified-extraction

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #36 from MetaRocq/allow-typed+unsafe Nix CI for bundle default #16: Commit 18d9450 pushed by mattam82
3m 21s rocq-9.0
rocq-9.0
3m 21s
Allow running the unsafe passes after the typed extraction Nix CI for bundle default #15: Pull request #36 opened by mattam82
6m 38s
6m 38s
Update README.md Nix CI for bundle default #14: Commit d4f91f4 pushed by mattam82
6m 16s rocq-9.0
rocq-9.0
6m 16s
Update README.md Nix CI for bundle default #13: Commit 84dc5e8 pushed by mattam82
6m 34s rocq-9.0
rocq-9.0
6m 34s
Fix makefile Nix CI for bundle default #12: Commit 58b6b92 pushed by mattam82
6m 26s rocq-9.0
rocq-9.0
6m 26s
Fix Makefile to support nix and non-nix install Nix CI for bundle default #11: Commit 387b258 pushed by mattam82
6m 25s rocq-9.0
rocq-9.0
6m 25s
Remove generated binaries from repo and add them to .gitignore Nix CI for bundle default #10: Commit e355a8e pushed by mattam82
6m 20s rocq-9.0
rocq-9.0
6m 20s
Allow erasure evaluation to be called through a new ERASEcast construct Nix CI for bundle default #9: Pull request #34 synchronize by mattam82
39m 21s
39m 21s
Update README and rename workspace file Nix CI for bundle default #8: Commit d4a6acf pushed by mattam82
6m 55s main
main
6m 55s
master is main here Nix CI for bundle default #7: Commit 2bd474e pushed by mattam82
38m 32s main
main
38m 32s
Activate CI on rocq-9.0 branch Nix CI for bundle default #6: Commit 206f46b pushed by mattam82
34m 29s rocq-9.0
rocq-9.0
34m 29s
Nix CI Nix CI for bundle default #5: Pull request #35 synchronize by mattam82
6m 38s nix-CI
nix-CI
6m 38s
Nix CI Test compilation #429: Pull request #35 synchronize by mattam82
4m 7s nix-CI
nix-CI
4m 7s
Nix CI Nix CI for bundle default #4: Pull request #35 synchronize by mattam82
6m 59s nix-CI
nix-CI
6m 59s
Patch clean-extraction Test compilation #428: Commit a387073 pushed by mattam82
4m 24s nix-CI
nix-CI
4m 24s
Nix CI Nix CI for bundle default #3: Pull request #35 synchronize by mattam82
38m 17s nix-CI
nix-CI
38m 17s
Nix CI Test compilation #427: Pull request #35 synchronize by mattam82
4m 26s nix-CI
nix-CI
4m 26s
Install metarocq cachix Test compilation #426: Commit 7558a9a pushed by mattam82
4m 9s nix-CI
nix-CI
4m 9s
Nix CI Test compilation #425: Pull request #35 synchronize by mattam82
4m 12s nix-CI
nix-CI
4m 12s
Nix CI Nix CI for bundle default #2: Pull request #35 synchronize by mattam82
1h 12m 37s nix-CI
nix-CI
1h 12m 37s
Equations depends on stdlib Test compilation #424: Commit d529a6d pushed by mattam82
4m 6s nix-CI
nix-CI
4m 6s
Nix CI Nix CI for bundle default #1: Pull request #35 opened by mattam82
6m 41s nix-CI
nix-CI
6m 41s
Nix CI Test compilation #423: Pull request #35 opened by mattam82
4m 6s nix-CI
nix-CI
4m 6s
Fix deps in nix files and add nix ci workflow Test compilation #422: Commit f77dd2c pushed by mattam82
4m 7s nix-CI
nix-CI
4m 7s
Pass args to Make Test compilation #421: Commit 9cc6e6d pushed by mattam82
4m 8s nix-CI
nix-CI
4m 8s