Skip to content

Actions: LindenRegex/Linden

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
137 workflow runs
137 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Engine: definition and proven correctness of unanchored MemoBT CI #137: Pull request #40 synchronize by shilangyu
9m 11s mw/memobt-acc
mw/memobt-acc
9m 11s
Engine: definition and proven correctness of unanchored MemoBT CI #136: Pull request #40 opened by shilangyu
9m 11s mw/memobt-acc
mw/memobt-acc
9m 11s
Merge pull request #39 from LindenRegex/aurele/remove_canonicalize_param CI #135: Commit 19d360d pushed by Aurele-Barriere
9m 6s main
main
9m 6s
Semantics: remove canonicalize case insenst. property in Params CI #134: Pull request #39 opened by Aurele-Barriere
9m 13s aurele/remove_canonicalize_param
aurele/remove_canonicalize_param
9m 13s
Semantics: generalize input lemmas by Paolo Soravia CI #133: Commit e4bc341 pushed by Aurele-Barriere
9m 3s main
main
9m 3s
Semantics: move a generic input lemma from Complexity to Chars CI #132: Commit 48a4a65 pushed by Aurele-Barriere
9m 15s main
main
9m 15s
Merge pull request #38 from LindenRegex/aurele/simplify-warblre-equiv CI #131: Commit 1c2ed22 pushed by Aurele-Barriere
8m 33s main
main
8m 33s
WarblreEquiv: another way to avoid generating Unions of CdEmpty CI #130: Pull request #38 opened by Aurele-Barriere
8m 22s aurele/simplify-warblre-equiv
aurele/simplify-warblre-equiv
8m 22s
Merge pull request #37 from LindenRegex/aurele/simplify-warblre-equiv CI #129: Commit 19dfd2b pushed by Aurele-Barriere
8m 21s main
main
8m 21s
WarblreEquiv: don't generate a Union with CdEmpty for each Class Ranges CI #128: Pull request #37 opened by Aurele-Barriere
8m 26s aurele/simplify-warblre-equiv
aurele/simplify-warblre-equiv
8m 26s
Rewriting: add useful FlatMap lemma CI #127: Commit 8401177 pushed by Aurele-Barriere
8m 28s main
main
8m 28s
Engine: Add simpler NoPriority semantics and Reversal Property CI #126: Pull request #34 synchronize by Aurele-Barriere
8m 23s aurele/nopriority
aurele/nopriority
8m 23s
Engine: Add simpler NoPriority semantics and Reversal Property CI #125: Pull request #34 synchronize by Aurele-Barriere
8m 16s aurele/nopriority
aurele/nopriority
8m 16s
Merge pull request #36 from LindenRegex/aurele/9.1.0 CI #124: Commit b6396cb pushed by cpitclaudel
8m 30s main
main
8m 30s
Chore: support rocq-stdlib=9.0.0 CI #123: Pull request #36 synchronize by Aurele-Barriere
8m 26s aurele/9.1.0
aurele/9.1.0
8m 26s
Chore: support rocq-stdlib=9.0.0 CI #122: Pull request #36 opened by Aurele-Barriere
8m 48s aurele/9.1.0
aurele/9.1.0
8m 48s
Merge pull request #33 from LindenRegex/aurele/boundaries CI #121: Commit d217024 pushed by Aurele-Barriere
8m 26s main
main
8m 26s
Semantics: add \A, \z and \Z buffer boundaries CI #120: Pull request #33 synchronize by Aurele-Barriere
8m 51s aurele/boundaries
aurele/boundaries
8m 51s
Chore: delete trailing whitespace CI #119: Commit d2445e4 pushed by Aurele-Barriere
8m 45s main
main
8m 45s
Merge pull request #35 from LindenRegex/cpc/91 CI #118: Commit 117d534 pushed by Aurele-Barriere
8m 38s main
main
8m 38s
Chore: 9.1 compat CI #117: Pull request #35 opened by cpitclaudel
8m 37s cpc/91
cpc/91
8m 37s
Engine: Add simpler NoPriority semantics and Reversal Property CI #116: Pull request #34 synchronize by Aurele-Barriere
8m 29s aurele/nopriority
aurele/nopriority
8m 29s
Engine: Add simpler NoPriority semantics and Reversal Property CI #115: Pull request #34 synchronize by Aurele-Barriere
8m 20s aurele/nopriority
aurele/nopriority
8m 20s
Engine: Add simpler NoPriority semantics and Reversal Property CI #114: Pull request #34 synchronize by Aurele-Barriere
8m 27s aurele/nopriority
aurele/nopriority
8m 27s
Engine: Add simpler NoPriority semantics and Reversal Property CI #113: Pull request #34 synchronize by Aurele-Barriere
8m 19s aurele/nopriority
aurele/nopriority
8m 19s