Skip to content

Actions: wrsturgeon/inator

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
392 workflow runs
392 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add open-close/push-pop semantics CI #392: Pull request #50 synchronize by wrsturgeon
November 16, 2023 01:26 33s open
open
November 16, 2023 01:26 33s
Add .envrc for direnv magic (#60) CI #391: Commit 25a9418 pushed by wrsturgeon
November 16, 2023 01:20 3m 55s main
main
November 16, 2023 01:20 3m 55s
Add .envrc for direnv magic CI #390: Pull request #60 synchronize by wrsturgeon
November 16, 2023 01:15 4m 58s nix-magic
nix-magic
November 16, 2023 01:15 4m 58s
Add .envrc for direnv magic CI #389: Pull request #60 opened by wrsturgeon
November 16, 2023 00:20 4m 34s nix-magic
nix-magic
November 16, 2023 00:20 4m 34s
Update automata theory in the README (#59) CI #388: Commit 519b864 pushed by wrsturgeon
November 14, 2023 23:32 3m 57s main
main
November 14, 2023 23:32 3m 57s
Update automata theory in the README CI #387: Pull request #59 synchronize by wrsturgeon
November 14, 2023 23:27 4m 18s readme-update
readme-update
November 14, 2023 23:27 4m 18s
Update automata theory in the README CI #386: Pull request #59 synchronize by wrsturgeon
November 14, 2023 23:12 38s readme-update
readme-update
November 14, 2023 23:12 38s
Update automata theory in the README CI #385: Pull request #59 synchronize by wrsturgeon
November 14, 2023 23:11 36s readme-update
readme-update
November 14, 2023 23:11 36s
Update automata theory in the README CI #384: Pull request #59 opened by wrsturgeon
November 14, 2023 23:04 35s readme-update
readme-update
November 14, 2023 23:04 35s
Add open-close/push-pop semantics CI #383: Pull request #50 synchronize by wrsturgeon
November 14, 2023 20:09 42s open
open
November 14, 2023 20:09 42s
Add open-close/push-pop semantics CI #382: Pull request #50 synchronize by wrsturgeon
November 14, 2023 18:01 44s open
open
November 14, 2023 18:01 44s
Call operator with ^ (#58) CI #381: Commit 7bc9970 pushed by wrsturgeon
November 14, 2023 18:00 2m 42s main
main
November 14, 2023 18:00 2m 42s
Call operator with ^ CI #380: Pull request #58 synchronize by wrsturgeon
November 14, 2023 17:57 3m 14s call-operator
call-operator
November 14, 2023 17:57 3m 14s
Call operator with ^ CI #379: Pull request #58 synchronize by wrsturgeon
November 14, 2023 17:43 28s call-operator
call-operator
November 14, 2023 17:43 28s
Call operator with ^ CI #378: Pull request #58 opened by wrsturgeon
November 14, 2023 17:43 44s call-operator
call-operator
November 14, 2023 17:43 44s
Add open-close/push-pop semantics CI #377: Pull request #50 synchronize by wrsturgeon
November 14, 2023 17:41 40s open
open
November 14, 2023 17:41 40s
Inductive call: another Transition instead of forcing a lateral mov… CI #376: Commit 2fbc523 pushed by wrsturgeon
November 14, 2023 17:40 2m 30s main
main
November 14, 2023 17:40 2m 30s
Inductive call: another Transition instead of forcing a lateral move CI #375: Pull request #57 synchronize by wrsturgeon
November 14, 2023 17:36 3m 1s inductive-transition
inductive-transition
November 14, 2023 17:36 3m 1s
Inductive call: another Transition instead of forcing a lateral move CI #374: Pull request #57 synchronize by wrsturgeon
November 14, 2023 17:35 3m 21s inductive-transition
inductive-transition
November 14, 2023 17:35 3m 21s
Inductive call: another Transition instead of forcing a lateral move CI #373: Pull request #57 synchronize by wrsturgeon
November 14, 2023 17:33 2m 27s inductive-transition
inductive-transition
November 14, 2023 17:33 2m 27s
Inductive call: another Transition instead of forcing a lateral move CI #372: Pull request #57 opened by wrsturgeon
November 14, 2023 15:45 38s inductive-transition
inductive-transition
November 14, 2023 15:45 38s
Add open-close/push-pop semantics CI #371: Pull request #50 synchronize by wrsturgeon
November 14, 2023 02:19 30s open
open
November 14, 2023 02:19 30s
Add open-close/push-pop semantics CI #370: Pull request #50 synchronize by wrsturgeon
November 14, 2023 02:04 40s open
open
November 14, 2023 02:04 40s
Add open-close/push-pop semantics CI #369: Pull request #50 synchronize by wrsturgeon
November 13, 2023 07:05 43s open
open
November 13, 2023 07:05 43s
Implement a Kleene-star operation (#56) CI #368: Commit e2076f1 pushed by wrsturgeon
November 13, 2023 07:04 3m 48s main
main
November 13, 2023 07:04 3m 48s