Skip to content

Actions: MetaRocq/rocq-verified-extraction

Actions

Nix CI for bundle default

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-default.yml
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extract inductives Nix CI for bundle default #17: Pull request #37 opened by mattam82
34m 42s
34m 42s
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 Nix CI for bundle default #4: Pull request #35 synchronize by mattam82
6m 59s nix-CI
nix-CI
6m 59s
Nix CI Nix CI for bundle default #3: Pull request #35 synchronize by mattam82
38m 17s nix-CI
nix-CI
38m 17s
Nix CI Nix CI for bundle default #2: Pull request #35 synchronize by mattam82
1h 12m 37s nix-CI
nix-CI
1h 12m 37s
Nix CI Nix CI for bundle default #1: Pull request #35 opened by mattam82
6m 41s nix-CI
nix-CI
6m 41s