Skip to content

Actions: buzden/idris2-positive-nat

Actions

Build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-package.yml
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and test Build and test #24: Scheduled
July 6, 2024 01:56 1m 20s master
master
July 6, 2024 01:56 1m 20s
Build and test Build and test #23: Scheduled
July 5, 2024 01:58 1m 16s master
master
July 5, 2024 01:58 1m 16s
Build and test Build and test #22: Scheduled
July 4, 2024 01:59 1m 17s master
master
July 4, 2024 01:59 1m 17s
Build and test Build and test #21: Scheduled
July 3, 2024 01:58 1m 15s master
master
July 3, 2024 01:58 1m 15s
Build and test Build and test #20: Scheduled
July 2, 2024 01:59 1m 15s master
master
July 2, 2024 01:59 1m 15s
Build and test Build and test #19: Scheduled
July 1, 2024 02:07 1m 14s master
master
July 1, 2024 02:07 1m 14s
Build and test Build and test #18: Scheduled
June 30, 2024 02:04 1m 15s master
master
June 30, 2024 02:04 1m 15s
Build and test Build and test #17: Scheduled
June 29, 2024 01:57 1m 8s master
master
June 29, 2024 01:57 1m 8s
Build and test Build and test #16: Scheduled
June 28, 2024 01:58 1m 19s master
master
June 28, 2024 01:58 1m 19s
Build and test Build and test #15: Scheduled
June 27, 2024 01:58 1m 18s master
master
June 27, 2024 01:58 1m 18s
Build and test Build and test #14: Scheduled
June 26, 2024 01:58 6m 10s master
master
June 26, 2024 01:58 6m 10s
Build and test Build and test #13: Scheduled
June 25, 2024 01:58 1m 24s master
master
June 25, 2024 01:58 1m 24s
Build and test Build and test #12: Scheduled
June 24, 2024 01:59 1m 18s master
master
June 24, 2024 01:59 1m 18s
Build and test Build and test #11: Scheduled
June 23, 2024 02:02 1m 12s master
master
June 23, 2024 02:02 1m 12s
Build and test Build and test #10: Scheduled
June 22, 2024 01:55 1m 24s master
master
June 22, 2024 01:55 1m 24s
Build and test Build and test #9: Scheduled
June 21, 2024 01:57 1m 10s master
master
June 21, 2024 01:57 1m 10s
Build and test Build and test #8: Scheduled
June 20, 2024 01:56 6m 5s master
master
June 20, 2024 01:56 6m 5s
Build and test Build and test #7: Scheduled
June 19, 2024 01:59 1m 8s master
master
June 19, 2024 01:59 1m 8s
Build and test Build and test #6: Scheduled
June 18, 2024 01:58 1m 8s master
master
June 18, 2024 01:58 1m 8s
Build and test Build and test #5: Scheduled
June 17, 2024 02:01 1m 17s master
master
June 17, 2024 02:01 1m 17s
Build and test Build and test #4: Scheduled
June 16, 2024 02:03 1m 11s master
master
June 16, 2024 02:03 1m 11s
Build and test Build and test #3: Scheduled
June 15, 2024 01:57 1m 14s master
master
June 15, 2024 01:57 1m 14s
[ meta ] Make positive nats a separate library Build and test #2: Commit b9751d9 pushed by buzden
June 14, 2024 14:40 1m 13s master
master
June 14, 2024 14:40 1m 13s
[ meta ] Make positive nats a separate library Build and test #1: Commit b9751d9 pushed by buzden
June 14, 2024 14:33 1m 14s master
master
June 14, 2024 14:33 1m 14s