Skip to content

Actions: leanprover/TenCert

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: rename ANPU to NKL CI #6: Commit 6c53481 pushed by govereau
October 29, 2024 15:34 1m 56s main
main
October 29, 2024 15:34 1m 56s
fix: rename ANPU to NKL CI #5: Pull request #1 opened by govereau
October 25, 2024 21:01 47s pg-rename-nkl
pg-rename-nkl
October 25, 2024 21:01 47s
Create CODEOWNERS CI #4: Commit 27ebadb pushed by jtristan
September 20, 2024 15:23 25s main
main
September 20, 2024 15:23 25s
namespace CI #3: Commit 8af9d88 pushed by jtristan
September 20, 2024 15:13 40s main
main
September 20, 2024 15:13 40s
Update README.md CI #2: Commit b1a442a pushed by jtristan
September 20, 2024 14:59 21s main
main
September 20, 2024 14:59 21s
Merge branch 'main' of github.com:leanprover/TenCert CI #1: Commit 0b160c0 pushed by jtristan
September 20, 2024 14:56 24s main
main
September 20, 2024 14:56 24s