Skip to content

Actions: tchajed/coq-record-update

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #271: Scheduled
May 20, 2025 08:29 2m 34s master
master
May 20, 2025 08:29 2m 34s
Generate Settable using Ltac2 (#55) Flake build #13: Commit bad8ce2 pushed by tchajed
May 19, 2025 17:21 58s master
master
May 19, 2025 17:21 58s
Generate Settable using Ltac2 (#55) CI #270: Commit bad8ce2 pushed by tchajed
May 19, 2025 17:21 2m 42s master
master
May 19, 2025 17:21 2m 42s
Generate Settable using Ltac2 CI #269: Pull request #55 synchronize by tchajed
May 19, 2025 17:18 2m 38s ltac2-record-eta
ltac2-record-eta
May 19, 2025 17:18 2m 38s
Generate Settable using Ltac2 Flake build #12: Pull request #55 synchronize by tchajed
May 19, 2025 17:18 56s ltac2-record-eta
ltac2-record-eta
May 19, 2025 17:18 56s
Generate Settable using Ltac2 CI #268: Pull request #55 synchronize by tchajed
May 19, 2025 17:11 2m 32s ltac2-record-eta
ltac2-record-eta
May 19, 2025 17:11 2m 32s
Generate Settable using Ltac2 Flake build #11: Pull request #55 synchronize by tchajed
May 19, 2025 17:11 59s ltac2-record-eta
ltac2-record-eta
May 19, 2025 17:11 59s
Generate Settable using Ltac2 Flake build #10: Pull request #55 opened by tchajed
May 19, 2025 17:06 1m 19s ltac2-record-eta
ltac2-record-eta
May 19, 2025 17:06 1m 19s
Generate Settable using Ltac2 CI #267: Pull request #55 opened by tchajed
May 19, 2025 17:06 2m 34s ltac2-record-eta
ltac2-record-eta
May 19, 2025 17:06 2m 34s
Merge pull request #54 from tchajed/argument-simpl Flake build #9: Commit 8792589 pushed by tchajed
May 14, 2025 20:35 1m 7s master
master
May 14, 2025 20:35 1m 7s
Merge pull request #54 from tchajed/argument-simpl CI #266: Commit 8792589 pushed by tchajed
May 14, 2025 20:35 2m 37s master
master
May 14, 2025 20:35 2m 37s
Reduce set when applied to a constructor CI #265: Pull request #54 opened by tchajed
May 14, 2025 20:32 2m 56s argument-simpl
argument-simpl
May 14, 2025 20:32 2m 56s
Reduce set when applied to a constructor Flake build #8: Pull request #54 opened by tchajed
May 14, 2025 20:32 1m 6s argument-simpl
argument-simpl
May 14, 2025 20:32 1m 6s
CI CI #264: Scheduled
May 13, 2025 08:29 5m 39s master
master
May 13, 2025 08:29 5m 39s
CI CI #263: Scheduled
May 6, 2025 08:28 2m 47s master
master
May 6, 2025 08:28 2m 47s
CI CI #262: Scheduled
April 29, 2025 08:29 2m 48s master
master
April 29, 2025 08:29 2m 48s
CI CI #261: Scheduled
April 22, 2025 08:27 2m 34s master
master
April 22, 2025 08:27 2m 34s
CI CI #260: Scheduled
April 15, 2025 08:28 2m 17s master
master
April 15, 2025 08:28 2m 17s
CI CI #259: Scheduled
April 8, 2025 08:27 2m 16s master
master
April 8, 2025 08:27 2m 16s
CI CI #258: Scheduled
April 1, 2025 08:27 2m 21s master
master
April 1, 2025 08:27 2m 21s
CI CI #257: Scheduled
March 25, 2025 08:26 2m 12s master
master
March 25, 2025 08:26 2m 12s
CI CI #256: Scheduled
March 18, 2025 08:26 2m 12s master
master
March 18, 2025 08:26 2m 12s
CI CI #255: Scheduled
March 11, 2025 08:25 2m 20s master
master
March 11, 2025 08:25 2m 20s
CI CI #254: Scheduled
March 4, 2025 08:23 5m 0s master
master
March 4, 2025 08:23 5m 0s
Allow Coq 8.20 and 9.0 in opam CI #253: Commit ba3abbc pushed by tchajed
February 28, 2025 15:02 2m 17s master
master
February 28, 2025 15:02 2m 17s