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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
June 10, 2024 11:50 1h 22m 26s