Skip to content

Actions: ateleris/asn1scc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #28 from epfl-lara/catchup Docker Image CI #22: Commit 5ccc56f pushed by mario-bucev
September 9, 2024 15:46 2m 5s master
master
September 9, 2024 15:46 2m 5s
Merge pull request #28 from epfl-lara/catchup Build and Test #36: Commit 5ccc56f pushed by mario-bucev
September 9, 2024 15:46 1h 25m 31s master
master
September 9, 2024 15:46 1h 25m 31s
Merge with the latest changes Build and Test #35: Pull request #28 opened by mario-bucev
September 9, 2024 13:13 1h 28m 31s epfl-lara:catchup
epfl-lara:catchup
September 9, 2024 13:13 1h 28m 31s
Merge with the latest changes Docker Image CI #21: Pull request #28 opened by mario-bucev
September 9, 2024 13:13 2m 8s epfl-lara:catchup
epfl-lara:catchup
September 9, 2024 13:13 2m 8s
Merge pull request #27 from epfl-lara/sequence-invertibility Build and Test #34: Commit 4158bcc pushed by mario-bucev
September 9, 2024 12:28 1h 25m 58s master
master
September 9, 2024 12:28 1h 25m 58s
Merge pull request #27 from epfl-lara/sequence-invertibility Docker Image CI #20: Commit 4158bcc pushed by mario-bucev
September 9, 2024 12:28 2m 0s master
master
September 9, 2024 12:28 2m 0s
Sequence invertibility Docker Image CI #19: Pull request #27 opened by mario-bucev
September 8, 2024 09:31 2m 3s epfl-lara:sequence-invertibility
epfl-lara:sequence-invertibility
September 8, 2024 09:31 2m 3s
Sequence invertibility Build and Test #33: Pull request #27 opened by mario-bucev
September 8, 2024 09:31 1h 24m 44s epfl-lara:sequence-invertibility
epfl-lara:sequence-invertibility
September 8, 2024 09:31 1h 24m 44s
Update ACN: Safety proof restored, adding invertibility (WIP) Build and Test #32: Pull request #25 synchronize by samuelchassot
August 28, 2024 12:15 1h 29m 47s epfl-lara:sam/acn_update
epfl-lara:sam/acn_update
August 28, 2024 12:15 1h 29m 47s
Update ACN: Safety proof restored, adding invertibility (WIP) Docker Image CI #18: Pull request #25 synchronize by samuelchassot
August 28, 2024 12:15 1m 55s epfl-lara:sam/acn_update
epfl-lara:sam/acn_update
August 28, 2024 12:15 1m 55s
Merge pull request #24 from epfl-lara/sam/naming Docker Image CI #17: Commit 63dd396 pushed by mario-bucev
August 28, 2024 08:27 1m 57s master
master
August 28, 2024 08:27 1m 57s
Merge pull request #24 from epfl-lara/sam/naming Build and Test #31: Commit 63dd396 pushed by mario-bucev
August 28, 2024 08:27 1h 25m 59s master
master
August 28, 2024 08:27 1h 25m 59s
Renaming and new annotations for proof to go through Docker Image CI #13: Pull request #24 opened by samuelchassot
August 27, 2024 08:04 2m 7s epfl-lara:sam/naming
epfl-lara:sam/naming
August 27, 2024 08:04 2m 7s
Renaming and new annotations for proof to go through Build and Test #27: Pull request #24 opened by samuelchassot
August 27, 2024 08:04 1h 27m 12s epfl-lara:sam/naming
epfl-lara:sam/naming
August 27, 2024 08:04 1h 27m 12s
Merge pull request #23 from mario-bucev/precise-bitindex Docker Image CI #12: Commit c639ca6 pushed by fschramka
August 6, 2024 11:34 2m 6s master
master
August 6, 2024 11:34 2m 6s
Merge pull request #23 from mario-bucev/precise-bitindex Build and Test #26: Commit c639ca6 pushed by fschramka
August 6, 2024 11:34 1h 27m 16s master
master
August 6, 2024 11:34 1h 27m 16s
Precise bitindex Docker Image CI #11: Pull request #23 synchronize by mario-bucev
July 22, 2024 07:52 1m 59s epfl-lara:precise-bitindex
epfl-lara:precise-bitindex
July 22, 2024 07:52 1m 59s
Precise bitindex Build and Test #25: Pull request #23 synchronize by mario-bucev
July 22, 2024 07:52 1h 24m 44s epfl-lara:precise-bitindex
epfl-lara:precise-bitindex
July 22, 2024 07:52 1h 24m 44s
Precise bitindex Docker Image CI #10: Pull request #23 opened by mario-bucev
July 22, 2024 07:41 1m 59s epfl-lara:precise-bitindex
epfl-lara:precise-bitindex
July 22, 2024 07:41 1m 59s
Precise bitindex Build and Test #24: Pull request #23 opened by mario-bucev
July 22, 2024 07:41 4m 17s epfl-lara:precise-bitindex
epfl-lara:precise-bitindex
July 22, 2024 07:41 4m 17s
ICD improvements Docker Image CI #9: Commit 6819ca7 pushed by mario-bucev
July 22, 2024 07:35 1m 55s master
master
July 22, 2024 07:35 1m 55s
ICD improvements Build and Test #23: Commit 6819ca7 pushed by mario-bucev
July 22, 2024 07:35 1h 21m 53s master
master
July 22, 2024 07:35 1h 21m 53s
Merge pull request #21 from mario-bucev/precise-bitindex Build and Test #22: Commit aa98394 pushed by fschramka
June 10, 2024 13:45 1h 27m 22s scala-backend
scala-backend
June 10, 2024 13:45 1h 27m 22s
#299 Docker Image CI #8: Commit 8f608f3 pushed by mario-bucev
June 10, 2024 11:50 1m 58s master
master
June 10, 2024 11:50 1m 58s
#299 Build and Test #21: Commit 8f608f3 pushed by mario-bucev
June 10, 2024 11:50 1h 22m 26s master
master
June 10, 2024 11:50 1h 22m 26s