Skip to content

Actions: anishathalye/porcupine

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI
CI #234: Scheduled
January 11, 2025 08:10 3m 20s master
January 11, 2025 08:10 3m 20s
Add development guide
CI #233: Commit dfaf627 pushed by anishathalye
January 4, 2025 16:20 3m 15s master
January 4, 2025 16:20 3m 15s
CI
CI #232: Scheduled
January 4, 2025 08:10 3m 14s master
January 4, 2025 08:10 3m 14s
CI
CI #231: Scheduled
December 28, 2024 08:10 3m 11s master
December 28, 2024 08:10 3m 11s
CI
CI #230: Scheduled
December 21, 2024 08:10 3m 16s master
December 21, 2024 08:10 3m 16s
CI
CI #229: Scheduled
December 14, 2024 08:11 3m 16s master
December 14, 2024 08:11 3m 16s
CI
CI #228: Scheduled
December 7, 2024 08:11 3m 15s master
December 7, 2024 08:11 3m 15s
CI
CI #227: Scheduled
November 30, 2024 08:11 3m 7s master
November 30, 2024 08:11 3m 7s
Add link to COL733
CI #226: Commit 30b31fc pushed by anishathalye
November 29, 2024 02:01 3m 20s master
November 29, 2024 02:01 3m 20s
CI
CI #225: Scheduled
November 23, 2024 08:11 3m 48s master
November 23, 2024 08:11 3m 48s
Add support for nondeterministic specifications
CI #224: Commit 9c11fdd pushed by anishathalye
November 22, 2024 07:25 3m 13s v1.0.0
November 22, 2024 07:25 3m 13s
Add support for nondeterministic specifications
CI #223: Commit 9c11fdd pushed by anishathalye
November 22, 2024 07:22 3m 18s master
November 22, 2024 07:22 3m 18s
Add support for annotations in visualization
CI #222: Commit 12c3848 pushed by anishathalye
November 21, 2024 12:21 3m 23s v0.2.0
November 21, 2024 12:21 3m 23s
Add support for annotations in visualization
CI #221: Commit 12c3848 pushed by anishathalye
November 21, 2024 12:20 3m 20s master
November 21, 2024 12:20 3m 20s
Disable coverage status checks
CI #220: Commit afb340d pushed by anishathalye
November 21, 2024 12:13 3m 11s master
November 21, 2024 12:13 3m 11s
Add support for annotations in visualization
CI #219: Commit 56b2789 pushed by anishathalye
November 21, 2024 12:12 3m 18s annotations
November 21, 2024 12:12 3m 18s
Add support for annotations in visualization
CI #218: Commit 56b2789 pushed by anishathalye
November 21, 2024 12:11 3m 22s v0.2.0
November 21, 2024 12:11 3m 22s
Add support for annotations in visualization
CI #217: Commit 56b2789 pushed by anishathalye
November 21, 2024 12:09 3m 15s master
November 21, 2024 12:09 3m 15s
Disable coverage status checks
CI #216: Commit afb340d pushed by anishathalye
November 21, 2024 11:53 3m 38s master
November 21, 2024 11:53 3m 38s
Update actions
CI #215: Commit ab8f8ae pushed by anishathalye
November 21, 2024 11:31 3m 16s master
November 21, 2024 11:31 3m 16s
Add methods that expose partial linearizations
CI #214: Commit 29dfede pushed by anishathalye
November 21, 2024 11:21 3m 27s master
November 21, 2024 11:21 3m 27s
CI
CI #211: Scheduled
November 16, 2024 08:11 3m 16s master
November 16, 2024 08:11 3m 16s
CI
CI #210: Scheduled
November 9, 2024 08:09 3m 12s master
November 9, 2024 08:09 3m 12s