Skip to content

Actions: zilverline/sequent-examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #58 from zilverline/update_active_start
rspec #56: Commit 1ccab75 pushed by lvonk
November 7, 2023 14:29 50s master
November 7, 2023 14:29 50s
Update active_star versions
rspec #55: Pull request #58 opened by lvonk
November 7, 2023 14:25 55s update_active_start
November 7, 2023 14:25 55s
Merge pull request #57 from zilverline/update_sequent
rspec #54: Commit 756b5ca pushed by lvonk
November 7, 2023 14:05 3m 8s master
November 7, 2023 14:05 3m 8s
Update sequent to version 7
rspec #53: Pull request #57 opened by lvonk
November 7, 2023 14:01 3m 20s update_sequent
November 7, 2023 14:01 3m 20s
Ignore .iml files
rspec #52: Commit 8e985a4 pushed by lvonk
September 29, 2023 07:39 48s master
September 29, 2023 07:39 48s
Merge pull request #56 from zilverline/update_to_latest_sequent
rspec #51: Commit 84d87da pushed by lvonk
September 29, 2023 07:29 1m 17s master
September 29, 2023 07:29 1m 17s
Update to latest sequent
rspec #50: Pull request #56 synchronize by lvonk
September 29, 2023 07:16 1m 15s update_to_latest_sequent
September 29, 2023 07:16 1m 15s
Update to latest sequent
rspec #49: Pull request #56 synchronize by lvonk
September 7, 2023 08:30 46s update_to_latest_sequent
September 7, 2023 08:30 46s
Update to latest sequent
rspec #48: Pull request #56 opened by lvonk
September 7, 2023 08:03 1m 4s update_to_latest_sequent
September 7, 2023 08:03 1m 4s
September 5, 2023 08:15 53s
September 5, 2023 08:15 45s
September 4, 2023 12:06 49s