Skip to content

Actions: coq/stdlib

Actions

Basic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
basic-checks.yml
42 workflow run results
42 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Pull Request template Basic checks #17: Commit 6cdbeaa pushed by proux01
August 4, 2024 15:16 26s master
master
August 4, 2024 15:16 26s
Update Pull Request template Basic checks #16: Commit f9dc5dc pushed by proux01
August 2, 2024 15:52 24s master
master
August 2, 2024 15:52 24s
test Basic checks #15: Commit e4ea435 pushed by proux01
August 2, 2024 12:36 6m 30s master
master
August 2, 2024 12:36 6m 30s
test Basic checks #14: Commit acbb924 pushed by proux01
August 2, 2024 12:27 8m 55s master
master
August 2, 2024 12:27 8m 55s
Update Pull Request template Basic checks #13: Commit 6910f9a pushed by proux01
August 2, 2024 12:18 17s master
master
August 2, 2024 12:18 17s
Update Pull Request template Basic checks #12: Commit 10d41ce pushed by proux01
August 2, 2024 09:58 14s master
master
August 2, 2024 09:58 14s
Update Pull Request template Basic checks #11: Commit e230e95 pushed by proux01
August 2, 2024 09:43 12s master
master
August 2, 2024 09:43 12s
Update Pull Request template Basic checks #10: Commit 592d207 pushed by proux01
August 2, 2024 09:37 12s master
master
August 2, 2024 09:37 12s
Update Pull Request template Basic checks #9: Commit b41f689 pushed by proux01
August 2, 2024 08:56 15s master
master
August 2, 2024 08:56 15s
Update Pull Request template Basic checks #8: Commit 075091f pushed by proux01
August 2, 2024 07:47 13s master
master
August 2, 2024 07:47 13s
[CI] Add a job to check for duplicate files Basic checks #7: Commit 7b05e5a pushed by proux01
July 31, 2024 14:00 11s master
master
July 31, 2024 14:00 11s
[CI] Add a job to check for duplicate files Basic checks #6: Commit fd9add4 pushed by proux01
July 31, 2024 12:34 11s master
master
July 31, 2024 12:34 11s
[CI] Add a job to check for duplicate files Basic checks #5: Commit f2fa14d pushed by proux01
July 31, 2024 11:24 13s master
master
July 31, 2024 11:24 13s
[CI] Add a job to check for duplicate files Basic checks #4: Commit 350678e pushed by proux01
July 31, 2024 09:40 13s master
master
July 31, 2024 09:40 13s
WIP less Basic checks #3: Commit 4b0d16d pushed by proux01
July 30, 2024 15:29 14s master
master
July 30, 2024 15:29 14s
WIP less Basic checks #2: Commit 785be8e pushed by proux01
July 30, 2024 15:27 9s master
master
July 30, 2024 15:27 9s
WIP less Basic checks #1: Commit bca2ad8 pushed by proux01
July 30, 2024 15:26 10s master
master
July 30, 2024 15:26 10s