Skip to content

Actions: ateleris/asn1scc

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
asn1scc-tests.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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
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 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 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 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 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 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 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
#299 Build and Test #20: Commit 8f608f3 pushed by mario-bucev
June 10, 2024 11:50 1h 20m 52s scala-backend
scala-backend
June 10, 2024 11:50 1h 20m 52s
Code generation changes for verification Build and Test #16: Pull request #21 synchronize by mario-bucev
June 6, 2024 13:52 1h 23m 49s epfl-lara:precise-bitindex
epfl-lara:precise-bitindex
June 6, 2024 13:52 1h 23m 49s
Code generation changes for verification Build and Test #15: Pull request #21 opened by mario-bucev
June 6, 2024 12:45 13m 39s epfl-lara:precise-bitindex
epfl-lara:precise-bitindex
June 6, 2024 12:45 13m 39s
Merge pull request #303 from maxime-esa/EfficientEnumEncodings Build and Test #14: Commit e1f6ca1 pushed by mario-bucev
April 23, 2024 09:08 1h 20m 33s scala-backend
scala-backend
April 23, 2024 09:08 1h 20m 33s
Merge pull request #303 from maxime-esa/EfficientEnumEncodings Build and Test #13: Commit e1f6ca1 pushed by mario-bucev
April 23, 2024 09:08 1h 21m 25s master
master
April 23, 2024 09:08 1h 21m 25s
Merge pull request #20 from mario-bucev/runtime-safety Build and Test #12: Commit 0947749 pushed by fschramka
April 19, 2024 16:50 1h 21m 24s scala-backend
scala-backend
April 19, 2024 16:50 1h 21m 24s
Strengthen loop invariant Build and Test #11: Pull request #20 opened by mario-bucev
April 19, 2024 14:36 1h 23m 58s epfl-lara:runtime-safety
epfl-lara:runtime-safety
April 19, 2024 14:36 1h 23m 58s
Merge remote-tracking branch 'Original_Repo/master' into scala-backend Build and Test #10: Commit 77d9698 pushed by fschramka
April 15, 2024 13:05 1h 20m 51s scala-backend
scala-backend
April 15, 2024 13:05 1h 20m 51s
Merge pull request #19 from mario-bucev/runtime-safety Build and Test #9: Commit c9becef pushed by fschramka
April 15, 2024 12:12 1h 22m 8s scala-backend
scala-backend
April 15, 2024 12:12 1h 22m 8s
Runtime safety Build and Test #8: Pull request #19 opened by mario-bucev
April 15, 2024 08:54 1h 38m 3s epfl-lara:runtime-safety
epfl-lara:runtime-safety
April 15, 2024 08:54 1h 38m 3s
Update circleci-build.sh Build and Test #7: Commit 1e7cd57 pushed by fschramka
April 12, 2024 08:41 1h 21m 7s scala-backend
scala-backend
April 12, 2024 08:41 1h 21m 7s
Update circleci-build.sh Build and Test #6: Commit 1e7cd57 pushed by fschramka
April 12, 2024 08:41 1h 20m 36s master
master
April 12, 2024 08:41 1h 20m 36s