Skip to content

Actions: formal-land/rocq-of-noir

Pull Request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: remove unused CI files for us
Pull Request #46: Pull request #7 edited by clarus
January 18, 2025 17:59 11s
January 18, 2025 17:59 11s
chore: remove unused CI files for us
Pull Request #45: Pull request #7 synchronize by clarus
January 18, 2025 17:46 13s
January 18, 2025 17:46 13s
chore: remove unused CI files for us
Pull Request #44: Pull request #7 edited by clarus
January 18, 2025 17:01 12s
January 18, 2025 17:01 12s
chore: remove unused CI files for us
Pull Request #43: Pull request #7 edited by clarus
January 18, 2025 17:01 11s
January 18, 2025 17:01 11s
chore: remove unused CI files for us
Pull Request #42: Pull request #7 opened by clarus
January 18, 2025 17:00 14s
January 18, 2025 17:00 14s
feat: rename the proof assistant to Rocq
Pull Request #41: Pull request #6 synchronize by clarus
January 16, 2025 09:11 13s
January 16, 2025 09:11 13s
feat: rename the proof assistant to Rocq
Pull Request #40: Pull request #6 synchronize by clarus
January 16, 2025 09:10 16s
January 16, 2025 09:10 16s
feat: rename the proof assistant to Rocq
Pull Request #39: Pull request #6 synchronize by clarus
January 16, 2025 08:51 13s
January 16, 2025 08:51 13s
feat: rename the proof assistant to Rocq
Pull Request #38: Pull request #6 synchronize by clarus
January 15, 2025 18:48 13s
January 15, 2025 18:48 13s
feat: rename the proof assistant to Rocq
Pull Request #37: Pull request #6 synchronize by clarus
January 15, 2025 17:30 11s
January 15, 2025 17:30 11s
feat: rename the proof assistant to Rocq
Pull Request #36: Pull request #6 synchronize by clarus
January 15, 2025 17:27 9s
January 15, 2025 17:27 9s
feat: rename the proof assistant to Rocq
Pull Request #35: Pull request #6 synchronize by clarus
January 15, 2025 17:22 13s
January 15, 2025 17:22 13s
feat: rename the proof assistant to Rocq
Pull Request #34: Pull request #6 edited by clarus
January 15, 2025 17:14 14s
January 15, 2025 17:14 14s
feat: rename the proof assistant to Rocq
Pull Request #33: Pull request #6 synchronize by clarus
January 15, 2025 17:12 13s
January 15, 2025 17:12 13s
feat: rename the proof assistant to Rocq
Pull Request #32: Pull request #6 synchronize by clarus
January 15, 2025 15:25 12s
January 15, 2025 15:25 12s
feat: rename the proof assistant to Rocq
Pull Request #31: Pull request #6 opened by clarus
January 15, 2025 15:24 17s
January 15, 2025 15:24 17s
More work on base64 proofs
Pull Request #30: Pull request #5 edited by clarus
December 10, 2024 17:45 14s
December 10, 2024 17:45 14s
More work on base64 proofs
Pull Request #29: Pull request #5 synchronize by clarus
December 10, 2024 17:45 16s
December 10, 2024 17:45 16s
More work on base64 proofs
Pull Request #28: Pull request #5 synchronize by clarus
December 10, 2024 17:32 16s
December 10, 2024 17:32 16s
More work on base64 proofs
Pull Request #27: Pull request #5 synchronize by clarus
December 10, 2024 17:31 17s
December 10, 2024 17:31 17s
More work on base64 proofs
Pull Request #26: Pull request #5 synchronize by clarus
December 10, 2024 15:31 13s
December 10, 2024 15:31 13s
More work on base64 proofs
Pull Request #25: Pull request #5 synchronize by clarus
December 10, 2024 09:54 15s
December 10, 2024 09:54 15s
More work on base64 proofs
Pull Request #24: Pull request #5 opened by clarus
December 2, 2024 19:35 16s
December 2, 2024 19:35 16s
feat: add polymorphic version
Pull Request #23: Pull request #4 synchronize by clarus
November 15, 2024 10:51 14s
November 15, 2024 10:51 14s
feat: add polymorphic version
Pull Request #22: Pull request #4 synchronize by clarus
November 14, 2024 10:19 13s
November 14, 2024 10:19 13s